lib:sat-simple
Modules
Dependencies
- base lib:base >=4.12 && <4.20
- containers lib:containers ^>=0.6.0.1
- minisat lib:minisat ^>=0.1.3
- unliftio-core lib:unliftio-core ^>=0.2.1.0
Reverse dependencies
Direct only. Not exhaustive.
- sat-simple test:sat-simple-nonogram
- sat-simple test:sat-simple-sudoku
- sat-simple test:sat-simple-tseitin