No description, website, or topics provided.
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
patches
src
tests
.gitignore
LICENSE
Makefile
README.md
bootstrap.sh

README.md

aspino

A SAT/PseudoBoolean/MaxSat/ASP solver using glucose as internal SAT solver.

Build

Run bootstrap.sh to download glucose and gflags (to build gflags, cmake is required).

If everything is OK, build running:

$ make

The binary will be created in the directory build.