https://github.com/alviano/aspino
Revision 4d7483e328bdf9a00ef1eb7f2868e7b0f2a82d56 authored by malvi on 24 March 2018, 14:05:25 UTC, committed by malvi on 24 March 2018, 14:05:25 UTC
1 parent 32c4fb8
Raw File
Tip revision: 4d7483e328bdf9a00ef1eb7f2868e7b0f2a82d56 authored by malvi on 24 March 2018, 14:05:25 UTC
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.
back to top