We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A friendly branch of Glucose 3 (taken from http://www.labri.fr/perso/lsimon/glucose/)
git clone .
git submodule init
git submodule update
cd test/googletest
cmake .
make