Thu, 01 May 2014 22:57:36 +0200 | boehmes | less verbose SAT tactic | changeset | files |
Thu, 01 May 2014 22:57:34 +0200 | boehmes | use internal proof-producing SAT solver for more efficient SMT proof replay | changeset | files |
Thu, 01 May 2014 22:56:59 +0200 | boehmes | added internal proof-producing SAT solver | changeset | files |