| changeset 72458 | b44e894796d5 |
| parent 72457 | 2c7f0ef8323a |
| child 72459 | 15fc6320da68 |
| child 72461 | 4c6f318bcf9c |
--- a/NEWS Mon Oct 12 17:42:15 2020 +0200 +++ b/NEWS Mon Oct 12 18:59:44 2020 +0200 @@ -158,6 +158,8 @@ are in working order again, as opposed to outputting "GaveUp" on nearly all problems. +* SMT reconstruction: It is now possible to reconstruct proofs from the +SMT solver veriT via the tactic veriT_smt. *** FOL ***