Use plain (check-sat) when checking consistency of SMT lemmas (#3696)
#723
The logs for this run have expired and are no longer available.
Loading