8000 perf: update to cadical 2.2.0 by hargoniX · Pull Request #7942 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

perf: update to cadical 2.2.0#7942

Draft
hargoniX wants to merge 3 commits intomasterfrom
hbv/cadical_experiments
Draft

perf: update to cadical 2.2.0#7942
hargoniX wants to merge 3 commits intomasterfrom
hbv/cadical_experiments

Commits

Commits on Apr 16, 2025
0