Fri, 05 Mar 2021 22:23:57 +0100 | wenzelm | obsolete (see f3378101f555); | file | diff | annotate |
Mon, 14 Dec 2020 21:02:57 +0100 | Mathias Fleury | improve and activate compression for veriT proof reconstruction | file | diff | annotate |
Mon, 12 Oct 2020 18:59:44 +0200 | Mathias Fleury | add reconstruction for the SMT solver veriT | file | diff | annotate |