@hackage / satchmo-funsat

funsat driver as backend for satchmo

Latest1.4

Dependencies

library:satchmo-funsat (6 dependencies)

@hackage / funsat A modern DPLL-style SAT solver
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version:
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version:
- License: BSD-3-Clause
@hackage / satchmo SAT encoding monad
- Version: >=1.4
- License: GPL-2.0-only
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / parse-dimacs DIMACS CNF parser library
- Version:
- License: BSD-3-Clause