Masala: The Repository of Curry Packages

Last page: Version/show/Version594

Visibility

Public
Categories
Constraints Verification
Versions
3.0.0 0.0.1
Dependencies
Exported modules
Dimacs.Build Dimacs.Solver Dimacs.Types
Uploaded by
The Masala Administrator
at Apr 1 12:00:14 2020 (UTC)
Maintainer
The Masala Administrator
Deprecated
no

not tested

Curry Package dimacs

An interface to SAT solvers supporting DIMACS.

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