Opt-NIA: A sequential portfolio strategy that improves Z3 SMT solver on nonlinear integer arithmetic by +2–4pp. Greedy seed selection, 6-tactic preprocessing, rigorous evaluation.
python benchmark z3 formal-methods smt-solver sat automated-reasoning portfolio-solver solver-configuration nonlinear-arithmetic
-
Updated
Mar 12, 2026 - Python