Meta solver#352

Draft

BallagErgely wants to merge 21 commits intoftsrg:masterfrom

BallagErgely:metasolver

Commits on Mar 13, 2025

skeleton
BallagErgely
committed

Commits on Mar 18, 2025

it should now work as a proxy for just the z3 solver
BallagErgely
committed

Commits on Mar 20, 2025

add junit tests
BallagErgely
committed

Commits on Mar 27, 2025

implement solver switching
BallagErgely
committed

Commits on Apr 3, 2025

Commits on Apr 8, 2025

started work on itp solver
BallagErgely
committed

Commits on Apr 9, 2025

added parametric choice of solvers
BallagErgely
committed

Commits on Apr 15, 2025

added closing solvers asap
BallagErgely
committed

Commits on Apr 16, 2025

Commits on Oct 14, 2025

add MetaSolverException
BallagErgely
committed

Commits on Oct 19, 2025

working MetaItpSolver with parallel execution
BallagErgely
committed

Commits on Nov 6, 2025

updated cli meta solver registration
BallagErgely
committed

Commits on Nov 13, 2025

make sure check is called before getModel
BallagErgely
committed

Commits on Nov 14, 2025

Commits on Nov 15, 2025

attempt number two of thread safety
BallagErgely
committed

Commits on Nov 16, 2025

remove artifact from previous attempt
BallagErgely
committed

Commits on Nov 17, 2025

assure ExecutorService shutdown
BallagErgely
committed

Commits on Nov 23, 2025

fix MetaSolver incorrectly checking running out of solvers
BallagErgely
committed