Patrick Lühne 00ab975c2d Iteratively apply simplification tableau rules ... With this change, the tableau rules for simplifying formula are applied iteratively until a fixpoint is reached.		2018-04-08 22:24:14 +02:00
..
graph-coloring.lp	Update graph coloring example with placeholders	2018-04-08 20:28:57 +02:00
hide-circular-dependency.lp	Added example for attempting to hide a circular predicate dependency.	2017-06-12 03:01:30 +02:00
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	Iteratively apply simplification tableau rules	2018-04-08 22:24:14 +02:00