--- a/Admin/components/components.sha1 Mon Dec 21 08:15:45 2020 +0100
+++ b/Admin/components/components.sha1 Mon Dec 21 12:51:28 2020 +0100
@@ -369,3 +369,4 @@
4c366ab255d2e9343fb635d44d4d55ddd24c76d0 z3-4.4.0pre-3.tar.gz
517ba7b94c1985416c5b411c8ae84456367eb231 z3-4.4.0pre.tar.gz
aa20745f0b03e606b1a4149598e0c7572b63c657 z3-4.8.3.tar.gz
+b884c60653002a7811e3b652ae0515e825d98667 zipperposition-2.0.tar.gz
--- a/Admin/components/main Mon Dec 21 08:15:45 2020 +0100
+++ b/Admin/components/main Mon Dec 21 12:51:28 2020 +0100
@@ -24,3 +24,4 @@
xz-java-1.8
verit-2020.10-rmx-1
z3-4.4.0pre-3
+zipperposition-2.0
--- a/NEWS Mon Dec 21 08:15:45 2020 +0100
+++ b/NEWS Mon Dec 21 12:51:28 2020 +0100
@@ -246,6 +246,9 @@
* Update/rebuild external provers on currently supported OS platforms,
notably CVC4 1.8, E prover 2.5, SPASS 3.8ds, CSDP 6.1.1.
+* External prover Zipperposition 2.0 is available as component for
+experimentation.
+
* Discontinued obsolete isabelle display tool, and DVI_VIEWER settings
variable.