Add logic, engine and further options for Z3#626

Open

baierd wants to merge 38 commits intomasterfrom

613-feature-request-setting-solver-logic-via-javasmt

Commits on Mar 18, 2026

Commits on Mar 19, 2026

Simplify Z3 options resolving by adding the only cases in which the option value type is double and removing the expensive resolving of all types
baierd
committed
Remove done TODO and rename method that transforms "further" options in Z3
baierd
committed
Add Z3 tactic options (info) getter and remove done TODO
baierd
committed
Add more option constants and block them for users, and add the options info getter in Z3SolverContext to declutter the manager
baierd
committed
Remove options info getter in Z3FormulaManager to declutter the manager
baierd
committed
Use solver with logic in all cases in Z3 that are not "all" and add check that we don't forget HORN for spacer
baierd
committed

Commits on Mar 20, 2026

Commits on Mar 21, 2026

Commits on Mar 24, 2026

Commits on Apr 12, 2026

Improve string composition in SolverNativeOptionsTest test
baierd
committed