@hackage / incremental-sat-solver

Simple, Incremental SAT Solving as a Library

Latest0.1.8

Dependencies

library:incremental-sat-solver (3 dependencies)

@hackage / base Core data structures and operations
- Version: <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause