Patrick Lühne eb730b9f8b Added example for attempting to hide a circular predicate dependency.

2017-06-12 03:01:30 +02:00

..

graph-coloring.lp

Added graph coloring example.

2017-06-12 02:53:02 +02:00

hide-circular-dependency.lp

Added example for attempting to hide a circular predicate dependency.

2017-06-12 03:01:30 +02:00

schur-numbers.lp

Added Schur numbers example.

2017-06-12 02:27:57 +02:00