Home

Awesome

Production-ready MiniSAT

Build Status Build Status

Forked off MiniSAT 2.2, this repository aims at providing a production-ready version of the famous library.

Key principles:

Known limitations (aka TODO)

  1. libgz library was removed. Please use gunzip | minisat instead.
  2. Memory and CPU limits/stats are not supported well on all platforms.

Keen to help? Feel free to fork!

Directory overview

Building

# You can build in any directory, just name the minisat directory in the cmake
# command.
mkdir build && cd build
cmake ..
make

Examples

Run minisat with same heuristics as version 2.0:

minisat <cnf-file> -no-luby -rinc=1.5 -phase-saving=0 -rnd-freq=0.02