The Algorithm Design Manual
About the Book
Programming Challenges

The Stony Brook Algorithm Repository

Steven Skiena
Stony Brook University
Dept. of Computer Science

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

    Problem Links

    Satisfiability (10)

    This page last modified on 2008-07-10 .