/glucose

A brilliant SAT solver by Gilles Audemard and Laurent Simon

Primary LanguageC++OtherNOASSERTION

SAT solver glucose

Directory overview:

mtl/            Minisat Template Library
core/           A core version of the solver glucose (no main here)
simp/           An extended solver with simplification capabilities
parallel/       A multicore version of glucose
README
LICENSE
Changelog

To build (release version: without assertions, statically linked, etc):

Like minisat....

cd { simp | parallel }
make rs

Usage:

in simp directory: ./glucose --help

in parallel directory: ./glucose-syrup --help