-
Marc Schoolderman authored
a version based on range types; this produces larger smt2 input but seems to perform quite okay on schoolbook
c25c68c1
a version based on range types; this produces larger smt2 input but seems to perform quite okay on schoolbook