AbHS

A propositional abduction solver based on the implicit hitting set paradigm.

Compile with 'make CPLEXDIR=path', where path is the location of the CPLEX installation.

Test with './bin/AbHS example.abd [-v] [-e]', where v and e are optional.
-v enables verbose output
-e runs 'AbHS+'

AbHS has been tested with g++ version >= 4.8 and CPLEX >= 12.6.3 in a Ubuntu linux environment.