Repository navigation

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

Merged

jkhav merged 8 commits into

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

Commits on Oct 27, 2026
- feat: configure SMT solvers in solvers.toml
  
  ondrik
  and
  claude
  committed
  1c8a436
- test: cover the pySMT backend and the remaining configuration errors
  
  ondrik
  and
  claude
  committed
  e9f2f7c
- fix: drop the dReal special case
  
  ondrik
  and
  claude
  committed
  7cbcad4
- test: expect the pySMT portfolio to fail without fork (#93)
  
  ondrik
  and
  claude
  committed
  5125350
- feat: generate solvers.toml from the installed solvers
  
  ondrik
  and
  claude
  committed
  4c04e8e
- feat: configure-solvers --download
  
  ondrik
  and
  claude
  committed
  441add4
- test: run the SMT approximate synthesis test with z3
  
  ondrik
  and
  claude
  committed
  b30ad7d
- refactor: list the solver releases with the known solvers
  
  ondrik
  and
  claude
  committed
  fa342c3