Patrick Lühne 64c9a741c4

Added example with simple propositions.

2017-06-12 15:42:23 +02:00

..

graph-coloring.lp

…

hide-circular-dependency.lp

…

nested-arguments.lp

Added example with nested predicate arguments.

2017-06-12 03:05:21 +02:00

propositions.lp

Added example with simple propositions.

2017-06-12 15:42:23 +02:00

schur-numbers.lp

…