Branches performance
Pull requests
last run
1 month ago
Optimize more special cases of distinct
1 month ago
3f9fac7
approx-distinct
-1%
last run
1 month ago
Moved tseitin transformation to TheoryArg so it can be used in Theory implementations
1 month ago
a85f4e5
move-tseitin
0%
last run
1 month ago
Moved all sort checking to `outer_solver` to simplify inner implementation
1 month ago
30b9d13
move-sort-checking
-79%
last run
1 month ago
Optimize asserted equalities involving xor
1 month ago
a23a3ae
assert-eq-opt
-79%