feat: SIS MaxSAT algorithm

* feat: SIS MaxSAT algorithm * fixup! feat: SIS MaxSAT algorithm * fixup! feat: SIS MaxSAT algorithm
chrjabs · Mar 10, 2025 · 0a245b7 · 0a245b7
1 parent 85d4970
commit 0a245b7
Show file tree

Hide file tree

Showing 7 changed files with 2,566 additions and 1 deletion.
diff --git a/.config/names.dic b/.config/names.dic
@@ -1,4 +1,4 @@
-58
+59
 Argelich
 Armin
 Audemard
@@ -13,6 +13,7 @@ bzip2
 CaDiCaL
 CaDiCaL's
 Eén
+Fahiem
 Fazekas
 Fleury
 Gihwon