anthem/examples
Patrick Lühne d60e2a736b
Update examples
This updates the examples to showcase the scope of anthem’s feature set.
New examples are added concerning placeholders, hiding predicates, and
simplifications related to integer variables.
2018-04-29 22:39:44 +02:00
..
choice-rules.lp Update examples 2018-04-29 22:39:44 +02:00
graph-coloring.lp Update examples 2018-04-29 22:39:44 +02:00
hide-circular-dependency.lp Added example for attempting to hide a circular predicate dependency. 2017-06-12 03:01:30 +02:00
letters.lp Update examples 2018-04-29 22:39:44 +02:00
nested-arguments.lp Added example with nested predicate arguments. 2017-06-12 03:05:21 +02:00
permutations.lp Update examples 2018-04-29 22:39:44 +02:00
prime.lp Add example program for prime number detection 2018-04-11 21:42:08 +02:00
propositions.lp Added example with simple propositions. 2017-06-12 15:42:23 +02:00
schur-numbers.lp Update examples 2018-04-29 22:39:44 +02:00
simple-external-show.lp Update examples 2018-04-29 22:39:44 +02:00
simple-external.lp Update examples 2018-04-29 22:39:44 +02:00