The Algorithm Design Manual
About the Book
Programming Challenges

The Stony Brook Algorithm Repository

Steven Skiena
Stony Brook University
Dept. of Computer Science

MiniSat: A minimalistic, open-source SAT solver

MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. It is released under the MIT licence, and is currently used in a number of projects.
  • Download Files (local site)
  • Offical Site

    Problem Links

    Satisfiability (10)

    This page last modified on 2008-07-10 .