--- a/NEWS Tue Nov 16 17:57:52 2021 +0100
+++ b/NEWS Tue Nov 16 18:45:02 2021 +0100
@@ -201,11 +201,12 @@
* Sledgehammer:
- Update of bundled provers:
- E 2.6
- Vampire 4.6 (with Open Source license)
- veriT 2021.06-rmx
- Zipperposition 2.1
- Z3 4.4.1
+ . E 2.6
+ . Vampire 4.6 (with Open Source license)
+ . veriT 2021.06-rmx
+ . Zipperposition 2.1
+ . Z3 4.4.1 for arm64-linux, which approximates Z3 4.4.0pre,
+ but sometimes failes or crashes
- Adjusted default provers:
cvc4 vampire verit e spass z3 zipperposition
- Adjusted Zipperposition's slicing.