4 Commits

Author	SHA1	Message	Date
Patrick Lühne	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 Lühne	cc3c9b642c	Minor formatting in graph coloring example	2018-04-11 21:35:04 +02:00
Patrick Lühne	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 Lühne	ecdefa9221	Added graph coloring example.	2017-06-12 02:53:02 +02:00