2245e139b2
Reimplement integer variable detection
...
This is a reimplementation of the integer variable detection procedure.
The idea is to iteratively assume variables to be noninteger, and to
prove that this would lead to a false or erroneous result. If the proof
is successful, the variable is integer as a consequence.
2018-04-20 16:37:48 +02:00
a01e78a467
Add example program for prime number detection
2018-04-11 21:42:08 +02:00
b63ef21849
Add example program generating permutations
2018-04-11 21:35:29 +02:00
cc3c9b642c
Minor formatting in graph coloring example
2018-04-11 21:35:04 +02:00
b88393655a
Iteratively apply simplification tableau rules
...
With this change, the tableau rules for simplifying formula are applied
iteratively until a fixpoint is reached.
2018-04-10 22:34:47 +02:00
a406cb43bd
Update graph coloring example with placeholders
...
This replaces the former graph coloring example with a new formulation
that makes use of the newly supported placeholders.
2018-04-08 20:28:57 +02:00
64c9a741c4
Added example with simple propositions.
2017-06-12 15:42:23 +02:00
d7641aa410
Added example with nested predicate arguments.
2017-06-12 03:05:21 +02:00
eb730b9f8b
Added example for attempting to hide a circular predicate dependency.
2017-06-12 03:01:30 +02:00
ecdefa9221
Added graph coloring example.
2017-06-12 02:53:02 +02:00
c1899a6347
Added Schur numbers example.
2017-06-12 02:27:57 +02:00
