@hackage / sat-simple

A high-level wrapper over minisat

Latest0.1.0.0

Dependencies

library:sat-simple (4 dependencies)

@hackage / containers Assorted concrete container types
- Version: ^>=0.6.0.1
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.12 && <4.20
- License: BSD-3-Clause
@hackage / minisat A Haskell bundle of the Minisat SAT solver
- Version: ^>=0.1.3
- License: BSD-3-Clause
@hackage / unliftio-core The MonadUnliftIO typeclass for unlifting monads to IO
- Version: ^>=0.2.1.0
- License: MIT

test:sat-simple-nonogram (3 dependencies)

test:sat-simple-sudoku (2 dependencies)

test:sat-simple-tseitin (2 dependencies)