A SAT/PseudoBoolean/MaxSat/ASP solver using glucose as internal SAT solver.
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.