Masala: The Repository of Curry Packages

Last page: Package/show/Package39

Visibility

Public
Categories
Constraints Verification
Versions
3.0.0 0.0.1
Dependencies
base io-extra wl-pprint
Exported modules
Dimacs.Build Dimacs.Solver Dimacs.Types
Uploaded by
Michael Hanus
at Mar 16 14:50:16 2024 (UTC)
Maintainer
The Masala Administrator
Deprecated
no

Succesfully tested at May 20 02:47:42 2024

Curry Package dimacs

An interface to SAT solvers supporting DIMACS.

Detailed package documentation (available shortly after this version has been published)