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