/glucose

Repository mirror to the Glucose SAT solver.

Primary LanguageC++OtherNOASSERTION

Glucose SAT Solver

This repository mirrors the Glucose project on GitHub.

The original instructions for building the software are in README.

Dependencies

CMake

Differently from the original source code, we use CMake as a build tool.

On Ubuntu:

sudo apt-get install cmake

zlib

Glucose depends on zlib.

On Ubuntu:

sudo apt-get install zlib-dev

Build

To build the software, run the following commands:

mkdir build && cd build
cmake -DCMAKE_BUILD_TYPE=Release ..
make -j

The produced artifacts will be:

  • libglucose.a and libglucosep.a: the static libraries for the simple and parallel version of the SAT solver, respectively.
  • glucose-simp and glucose-syrup: the binaries for the simple and parallel version of the SAT solver, respectively.