search

Z3Prover / z3

The Z3 Theorem Prover
Other
9.96k stars 1.46k forks source link

Nlsat simplify #7227

Closed NikolajBjorner closed 1 month ago

NikolajBjorner commented 1 month ago

enable pre-processing