author | wenzelm |
Tue, 16 Nov 2021 18:45:31 +0100 | |
changeset 74797 | 1c2863734db1 |
parent 74796 | 796ae338eb9d |
child 74798 | 507f50dbeb79 |
--- a/NEWS Tue Nov 16 18:45:02 2021 +0100 +++ b/NEWS Tue Nov 16 18:45:31 2021 +0100 @@ -203,7 +203,7 @@ - Update of bundled provers: . E 2.6 . Vampire 4.6 (with Open Source license) - . veriT 2021.06-rmx + . veriT 2021.06.1-rmx . Zipperposition 2.1 . Z3 4.4.1 for arm64-linux, which approximates Z3 4.4.0pre, but sometimes failes or crashes