Translate answer set programs to first-order theorem prover language (local mirror of https://github.com/potassco/anthem for development purposes) https://potassco.org/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Patrick Lühne e0aa3497ee
Version bump after release 0.1.9
4 years ago
..
CMakeLists.txt Enforcing color output when testing for convenience. 4 years ago
TestCompletion.cpp Fix precedence of interval operator 4 years ago
TestHiddenPredicateElimination.cpp Fix precedence of interval operator 4 years ago
TestIntegerDetection.cpp Fix precedence of interval operator 4 years ago
TestPlaceholders.cpp Add new simplification rule 4 years ago
TestSimplification.cpp Fix precedence of interval operator 4 years ago
TestTranslation.cpp Fix precedence of interval operator 4 years ago
TestUnsupported.cpp Fix handling of rules with multielement head 4 years ago
main.cpp Initial commit. 5 years ago