imported sc2022-hyper

arminbiere · Jun 15, 2022 · e077070 · e077070
1 parent c5cce1b
commit e077070
Show file tree

Hide file tree

Showing 86 changed files with 360 additions and 4,664 deletions.
diff --git a/NEWS.md b/NEWS.md
@@ -1,3 +1,13 @@
+Version sc2022-hyper
+--------------------
+
+This version can be seen as an intermediate version between sc2022-bulky and
+sc2022-light but actually evolved from an earlier version sc2022-light by
+adding back support for hyper binary resolution. This feature turns out to
+be somewhat useful for unsatisfiable formulas even though the improved SAT
+sweeping in sc2022-bulky and kept for sc2022-light covers up for some of the
+losses incurred by taking out hyper-binary resolution.
+
 Version sc2022-bulky
 --------------------
 

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-sc2022-bulky
+sc2022-hyper