Empirical constraints suggestions#3468

Schaeff wants to merge 2 commits intocollect-empirical-constraintspowdr-labs/powdr:collect-empirical-constraintsfrom

empirical-constraints-simplificationpowdr-labs/powdr:empirical-constraints-simplificationCopy head branch name to clipboard