Performance History
Latest Results
Optimize more special cases of distinct
main
1 month ago
Optimize more special cases of distinct
approx-distinct
1 month ago
Moved tseitin transformation to TheoryArg so it can be used in Theory implementations
move-tseitin
1 month ago
Moved all sort checking to `outer_solver` to simplify inner implementation
move-sort-checking
1 month ago
Optimize asserted equalities involving xor
assert-eq-opt
1 month ago
Avoid extra ids when asserting some boolean equalities
tmp
assert-eq-opt
1 month ago
Active Branches
last run
7 months ago
#59
-1%