Add z3new as solver type command line flag, which sets sat.smt=true.#741

Open

cp526 wants to merge 1 commit intomasterfrom z3-options

+10-2

Commits on Dec 6, 2024

Add z3new as solver type command line flag, which sets sat.smt=true.
cp526
committed