incremental-sat-solver

Simple, Incremental SAT Solving as a Haskell library
Download

incremental-sat-solver Ranking & Summary

Advertisement

  • Rating:
  • 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

About SoftwareSea