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.