https://github.com/alviano/aspino
Tip revision: 4d7483e328bdf9a00ef1eb7f2868e7b0f2a82d56 authored by malvi on 24 March 2018, 14:05:25 UTC
enumeration
enumeration
Tip revision: 4d7483e
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.