GitHub - psaikko/AbHS: Source code for KR 2016 paper "Implicit Hitting Set Algorithms for Reasoning Beyond NP"

psaikko / AbHS Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Source code for KR 2016 paper "Implicit Hitting Set Algorithms for Reasoning Beyond NP"

www.cs.helsinki.fi/group/coreo/abhs/

View license

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
minisat		minisat
src		src
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README		README
example.abd		example.abd

Repository files navigation

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.