Present#22

Open

row11 wants to merge 5 commits into

Commits on Aug 5, 2016

ArithExpr of depth 3; Converting model back to solution
Ronan Le Bras
committed
Recursive relations; Ensemble
Ronan Le Bras
committed
adding more data
Roie Levin
committed
adding evaluation
Roie Levin
committed
Merge branch 'recZ3solver' of https://github.com/row11/iqclid into present
Roie Levin
committed