| Mon, 28 Mar 2022 17:16:42 +0200 | desharna | fixed generation of Isar proofs e89709b80b6e | file | diff | annotate |
| Fri, 11 Mar 2022 09:22:13 +0100 | desharna | used more descriptive assert names in SMT-Lib output | file | diff | annotate |
| Sat, 25 Apr 2015 09:48:06 +0200 | blanchet | made CVC4 support work also without unsat cores | file | diff | annotate |
| Wed, 19 Nov 2014 10:31:15 +0100 | blanchet | parse CVC4 unsat cores | file | diff | annotate |