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
..
choice-rules.lp Update examples 4 years ago
graph-coloring.lp Update examples 4 years ago
hide-circular-dependency.lp Added example for attempting to hide a circular predicate dependency. 4 years ago
letters.lp Update examples 4 years ago
nested-arguments.lp Added example with nested predicate arguments. 4 years ago
permutations.lp Update examples 4 years ago
prime.lp Add example program for prime number detection 4 years ago
propositions.lp Added example with simple propositions. 4 years ago
schur-numbers.lp Update examples 4 years ago
simple-external-show.lp Update examples 4 years ago
simple-external.lp Update examples 4 years ago