Skip to content

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

Merged
CatarinaGamboa merged 1 commit into
mainfrom
perf/simple-solver
Oct 27, 2026
Merged

Try Z3's simple solver before the default one#424
CatarinaGamboa merged 1 commit into
mainfrom
perf/simple-solver

Try Z3's simple solver before the default one

bbe298c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar