Closed fortunac closed 1 year ago
Adds the flag for printing diagnostics. If the flag is set, the "evaluating constraint" message, the "sending to Z3" message, the output of "SAT/UNSAT/UNKNOWN", and the model is sent to stderr.
Adds the flag for printing diagnostics. If the flag is set, the "evaluating constraint" message, the "sending to Z3" message, the output of "SAT/UNSAT/UNKNOWN", and the model is sent to stderr.