| categories: |
Constraints Verification |
| dependencies: |
[Dependency "base" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "io-extra" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "wl-pprint" [[VGte "3.0.0",VLt "4.0.0"]]] |
| documentation: |
dimacs ====== This package provides an interface to SAT solvers supporting the DIMACS format. Boolean formulas can be defined in Curry using the type `Dimacs.Types.Boolean` and the constructor operations defined in module `Dimacs.Build`. Formulas can be checked for satisfiabilty using the operation `Dimacs.Solver.solveWithDimacs`. Examples can be found in the directory `examples`. |
| exportedmodules: |
Dimacs.Types Dimacs.Build Dimacs.Solver |
| modules: |
DetParser Dimacs.Scanner Dimacs.Pretty Dimacs.Parser Dimacs.Types Dimacs.Build Dimacs.Solver |
| version: |
3.0.0 |