EBMinisat is a project mainly written in C and C++, based on the View license.
A CNF satisfiability solver based on Minisat
EBMiniSAT -- A hacked version of MiniSAT 2.2.0 for SAT Competition 2011.
================================================================================
BUILDING: (ebminisat release version) gmake rs
RUNNING: DIR/ebminisat_static BENCHMARK -verb=0
================================================================================
EXAMPLES:
Running ebminisat:
./ebminisat_static
Running ebminisat with same heuristics as minisat version 2.0:
./ebminisat_static
-no-luby -rinc=1.5 -phase-saving=0 -rnd-freq=0.02