Getting closer, but still not working

meelgroup · Jul 15, 2024 · 4b76bb1 · 4b76bb1
1 parent c8a51c7
commit 4b76bb1
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/dist/README.md b/dist/README.md
diff --git a/setup.py b/setup.py
@@ -64,14 +64,14 @@ def gen_modules(version):
                    "src/appmc_constants.cpp",
                    "src/counter.cpp",
                    "python/cryptominisat/python/src/GitSHA1.cpp",
+                   "python/cryptominisat/src/backbone.cpp",
                    "python/cryptominisat/src/cardfinder.cpp",
                    "python/cryptominisat/src/ccnr_cms.cpp",
                    "python/cryptominisat/src/ccnr.cpp",
                    "python/cryptominisat/src/clauseallocator.cpp",
                    "python/cryptominisat/src/clausecleaner.cpp",
                    "python/cryptominisat/src/cnf.cpp",
                    "python/cryptominisat/src/completedetachreattacher.cpp",
-                   "python/cryptominisat/src/cryptominisat_c.cpp",
                    "python/cryptominisat/src/cryptominisat.cpp",
                    "python/cryptominisat/src/datasync.cpp",
                    "python/cryptominisat/src/distillerbin.cpp",
@@ -88,6 +88,7 @@ def gen_modules(version):
                    "python/cryptominisat/src/matrixfinder.cpp",
                    "python/cryptominisat/src/occsimplifier.cpp",
                    "python/cryptominisat/src/packedrow.cpp",
+                   "python/cryptominisat/src/probe.cpp",
                    "python/cryptominisat/src/propengine.cpp",
                    "python/cryptominisat/src/reducedb.cpp",
                    "python/cryptominisat/src/sccfinder.cpp",
@@ -100,6 +101,7 @@ def gen_modules(version):
                    "python/cryptominisat/src/str_impl_w_impl.cpp",
                    "python/cryptominisat/src/subsumeimplicit.cpp",
                    "python/cryptominisat/src/subsumestrengthen.cpp",
+                   "python/cryptominisat/src/vardistgen.cpp",
                    "python/cryptominisat/src/varreplacer.cpp",
                    "python/cryptominisat/src/xorfinder.cpp",
                    "python/cryptominisat/src/oracle/oracle.cpp",
@@ -108,8 +110,10 @@ def gen_modules(version):
                    "python/arjun/src/arjun.cpp",
                    "python/arjun/src/backward.cpp",
                    "python/arjun/src/common.cpp",
-                   "python/arjun/python/src/GitSHA1.cpp",
+                   "python/arjun/src/extend.cpp",
+                   "python/arjun/src/puura.cpp",
                    "python/arjun/src/simplify.cpp",
+                   "python/arjun/python/src/GitSHA1.cpp",
                ],
         depends = [
                    "python/sbva/src/getdelim.h",