incremental-sat-solverSimple, Incremental SAT Solving as a Haskell library | |
Download |
incremental-sat-solver Ranking & Summary
Advertisement
- License:
- BSD
- Price:
- FREE
- Publisher Name:
- Sebastian Fischer
- Publisher web site:
- Operating Systems:
- Mac OS X
- File Size:
- 4 KB
incremental-sat-solver Tags
incremental-sat-solver Description
Simple, Incremental SAT Solving as a Haskell library incremental-sat-solver is a free and open source Haskell library that provides an implementation of the Davis-Putnam-Logemann-Loveland algorithm for the boolean satisfiability problem.incremental-sat-solver not only allows to solve boolean formulas in one go but also to add constraints and query bindings of variables incrementally. Requirements: · GHC
incremental-sat-solver Related Software