numeric version numbering

arminbiere · arminbiere · commit 36acc9e6e410 · 2024-07-27T10:30:30.000+02:00
diff --git a/NEWS.md b/NEWS.md
@@ -1,6 +1,7 @@
-Version sc2024
---------------
+Version 4.0.0
+-------------
 
+  - source code matches competition version 'sc2024'
   - fast variable elimination during preprocessing (in `fastel.c`)
   - lucky phases as in `CaDiCaL` but before and after preprocessing
     and with unit extraction and SLURM semantics
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-sc2024
+4.0.0
