Improve `u16::carrying_mul` harness performance#230

Merged

carolynzech merged 4 commits into

model-checking:mainfrom

carolynzech:carrying-mul-harness-perf

Dec 19, 2024

Commits on Dec 18, 2024

reduce carrying_mul to use intervals
Carolyn Zech
committed

Commits on Dec 19, 2024

change solver to kissat instead
Carolyn Zech
committed
put comment back
Carolyn Zech
committed
Merge branch 'main' into carrying-mul-harness-perf
Carolyn Zech
authored