@hackage / mios

A Minisat-based CDCL SAT solver in Haskell

Latest1.6.2

Dependencies

library:mios (5 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / primitive Primitive memory-related operations
- Version: >=0.6
- License: BSD-3-Clause
@hackage / ghc-prim GHC primitives
- Version: >=0.5
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version: >=0.12
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10
- License: BSD-3-Clause

executable:cnf-stat (6 dependencies)

executable:mios162 (7 dependencies)

test:mios-test (7 dependencies)