Try Z3's simple solver before the default one - #424

Try Z3's simple solver before the default one#424

CatarinaGamboa merged 1 commit into

mainliquid-java/liquidjava:mainfrom

perf/simple-solverliquid-java/liquidjava:perf/simple-solverCopy head branch name to clipboard