11 Commits

Include renames

Author	SHA1	Message	Date
patrick	d60e2a736b	Update examples ... This updates the examples to showcase the scope of anthem’s feature set. New examples are added concerning placeholders, hiding predicates, and simplifications related to integer variables.	2018-04-29 22:39:44 +02:00
patrick	a01e78a467	Add example program for prime number detection	2018-04-11 21:42:08 +02:00
patrick	b63ef21849	Add example program generating permutations	2018-04-11 21:35:29 +02:00
patrick	cc3c9b642c	Minor formatting in graph coloring example	2018-04-11 21:35:04 +02:00
patrick	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
patrick	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
patrick	64c9a741c4	Added example with simple propositions.	2017-06-12 15:42:23 +02:00
patrick	d7641aa410	Added example with nested predicate arguments.	2017-06-12 03:05:21 +02:00
patrick	eb730b9f8b	Added example for attempting to hide a circular predicate dependency.	2017-06-12 03:01:30 +02:00
patrick	ecdefa9221	Added graph coloring example.	2017-06-12 02:53:02 +02:00
patrick	c1899a6347	Added Schur numbers example.	2017-06-12 02:27:57 +02:00