254 Commits

Author	SHA1	Message	Date
Laurenz	ef8aa763fa	Shorten some names ↔	2020-10-04 20:22:11 +02:00
Laurenz	a41d7ab47d	Expression evaluation with Eval trait 🧮	2020-10-04 20:07:01 +02:00
Laurenz	0f7c70fd93	Separate state and constraints 🧶	2020-10-04 19:06:20 +02:00
Laurenz	e676ab53dd	Rename compute to eval ✏	2020-10-01 15:13:04 +02:00