Problemincrementalsatsolver software
Problemincrementalsatsolver
Added: August 19, 2013 | Visits: 229
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...
Platforms: Mac
License: Shareware | Cost: $0.00 USD | Size: 10.24 KB | Download (37): incremental-sat-solver Download |