2 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	b63ef21849	Add example program generating permutations	2018-04-11 21:35:29 +02:00