Add a minimizing solver for smaller counter-examples#176

Open

SolalPirelli wants to merge 2 commits intoepfl-lara:scala-2.13from SolalPirelli:sp/minimizer

+170-1

Commits on Jan 10, 2022

Add a minimizing solver for smaller counter-examples.
SolalPirelli
committed

Commits on Jan 12, 2022

Minimizer: prefer smaller ADT fields
SolalPirelli
committed