-
Notifications
You must be signed in to change notification settings - Fork 0
Source code for KR 2016 paper "Implicit Hitting Set Algorithms for Reasoning Beyond NP"
License
psaikko/AbHS
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
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.
About
Source code for KR 2016 paper "Implicit Hitting Set Algorithms for Reasoning Beyond NP"
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published