| changeset 72518 | 4be6ae020fc4 |
| parent 72516 | 17dc99589a91 |
| child 72521 | 354bfab78cbf |
--- a/NEWS Thu Oct 29 18:23:29 2020 +0000 +++ b/NEWS Thu Oct 29 16:07:41 2020 +0100 @@ -166,6 +166,10 @@ are in working order again, as opposed to outputting "GaveUp" on nearly all problems. +* Sledgehammer: + - Use veriT in proof preplay. + - Take adventage of more cores in proof preplay. + *** FOL ***