Skip to content

Configure SMT solvers in solvers.toml, generated by configure-solvers - #55

Merged
jkhav merged 8 commits into
masterfrom
feat/solver-config
Oct 27, 2026
Merged

Configure SMT solvers in solvers.toml, generated by configure-solvers#55
jkhav merged 8 commits into
masterfrom
feat/solver-config

refactor: list the solver releases with the known solvers

fa342c3
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Oct 27, 2026 in 0s

96.7% of diff hit (target 84.9%)

View this Pull Request on Codecov

96.7% of diff hit (target 84.9%)

View more details on Codecov