Skip to content

smt2_solver: use smt2_format instead of .pretty()#3476

Merged
tautschnig merged 1 commit intodevelopfrom
smt2_use_format
Nov 28, 2018
Merged

smt2_solver: use smt2_format instead of .pretty()#3476
tautschnig merged 1 commit intodevelopfrom
smt2_use_format

Commits

Commits on Nov 28, 2018