RSat: Boolean satisfiability solver
RSat is a complete Boolean satisfiability solver with an exhaustive search interface for applications such as model counting and knowledge compilation. RSat uses a phase selection heuristic that is oriented toward reducing work repetition and a frequent restart policy.
Download Files (local site)Offical Site
This page last modified on 2008-07-10