About

Metadata

  • Last updated , by JohannesWaldmann
  • License LicenseRef-GPL
  • Categories Algorithms
  • Maintained by: Johannes Waldmann

  • Lottery factor: 0

Links

Installation

Readme

this driver calls funsat (download from hackage) to solve CNF-SAT constraints produced by satchmo