anthem

patrick

anthem

Fork 0

Commit Graph

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	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 Lühne	c1899a6347	Added Schur numbers example.	2017-06-12 02:27:57 +02:00

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

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 Lühne

c1899a6347

Added Schur numbers example.

2017-06-12 02:27:57 +02:00

3 Commits