some cleanup

Author: mahi045

.github/workflows/build.yml

@@ -40,6 +40,11 @@ jobs:
           cd scripts
           python run_hashcount_on_itemmining.py -i vote.cnf
 
+      - name: Sample ProjEnum Run
+        run: |
+          cd scripts
+          python run_projenum_on_itemmining.py -i vote.cnf
+
       - name: Sample ProjEnum Run
         run: |
           cd scripts
@@ -48,4 +53,9 @@ jobs:
       - name: Sample MinLB Run
         run: |
           cd scripts
-          python run_minlb_on_modelcounting.py -i mccmc2021_track1_058.cnf
+          python run_minlb_on_modelcounting.py -i mccmc2021_track1_058.cnf
+
+      - name: Sample MinLB Run
+        run: |
+          cd scripts
+          python run_minlb_on_itemmining.py -i vote.cnf

scripts/compute_dlp.py

@@ -66,16 +66,11 @@ def compute_disjunctive_program(file_name):
     output_file_pointer.close()
 
 file_name = args.i
-# first we are computing the cautious reasoning
-output_file = "lp_" + file_name 
-# doing the preprocessing first 
-# using the cautious reasoning computed from wasp
 # do preprocessing 
 compute_disjunctive_program(file_name)
 preprocess = True
 original_set_var = None
 original_set_clause = None
-cautious = False # set to True to turn on cautious reasoning
 if preprocess:
     file_pointer = open(file_name, 'r')
     for line in file_pointer:
@@ -95,14 +90,10 @@ def compute_disjunctive_program(file_name):
 # check whether the preprocessing failed or not
 final_input_filename = "prep_" + file_name
 file_pointer = open(final_input_filename, 'r')
-output_file_pointer = open(output_file, 'w')
+# output_file_pointer = open(output_file, 'w')
 # grph = nx.Graph() 
-varset = set()
+# varset = set()
 minimal_file_pointer = open("minimal_" + file_name , 'w')
-o_line = "o "
-for _ in range(1, original_set_var + 1):
-    o_line = o_line + (str(_) + " ")
-o_line = o_line + ("0")
 for line in file_pointer:
     if line.startswith("c"):
         if line.startswith("c Number of clauses:"):
@@ -111,56 +102,56 @@ def compute_disjunctive_program(file_name):
         continue
     elif line.startswith("p cnf"):
         l = line.split()
-        output_file_pointer.write("%rule size: {0}\n".format(int(l[-1])))
+        # output_file_pointer.write("%rule size: {0}\n".format(int(l[-1])))
         minimal_file_pointer.write(line)
         minimal_file_pointer.write("c opt {0}\n".format(original_set_var))
         print("The number of literals: {0} and clauses: {1}".format(l[-2], l[-1]))
     else:
-        l = line.split()
+        # l = line.split()
         minimal_file_pointer.write(line)
-        lit_list = []
-        for lit in l:
-            var = int(lit)
-            if var != 0:
-                lit_list.append(var)
+        # lit_list = []
+        # for lit in l:
+        #     var = int(lit)
+        #     if var != 0:
+        #         lit_list.append(var)
 
-        rule_string = ""
-        rule_str = ":- "
-        node_lit = []
-        for index, lit in enumerate(lit_list):
-            if lit < 0:
-                if abs(lit) <= original_set_var:
-                    rule_str = rule_str + " v({0}),".format(abs(lit))
-                else:
-                    rule_str = rule_str + " a({0}),".format(abs(lit))
-            else:
-                if abs(lit) not in varset:
-                    varset.add(abs(lit))
-                if abs(lit) <= original_set_var:
-                    rule_str = rule_str + " not v({0}),".format(abs(lit))
-                else:
-                    rule_str = rule_str + " not a({0}),".format(abs(lit))
+        # rule_str = ":- "
+        # node_lit = []
+        # for index, lit in enumerate(lit_list):
+        #     if lit < 0:
+        #         if abs(lit) <= original_set_var:
+        #             rule_str = rule_str + " v({0}),".format(abs(lit))
+        #         else:
+        #             rule_str = rule_str + " a({0}),".format(abs(lit))
+        #     else:
+        #         if abs(lit) not in varset:
+        #             varset.add(abs(lit))
+        #         if abs(lit) <= original_set_var:
+        #             rule_str = rule_str + " not v({0}),".format(abs(lit))
+        #         else:
+        #             rule_str = rule_str + " not a({0}),".format(abs(lit))
 
-        rule_str = rule_str[:-1] + "."  # end of rule
+        # rule_str = rule_str[:-1] + "."  # end of rule
 
 
         # writing the rule 
-        output_file_pointer.write(rule_str + "\n")
+        # output_file_pointer.write(rule_str + "\n")
 
+os.remove("prep_" + file_name)
 # writing choice rules
-rule_str = "{"
-for index, atom in enumerate(list(varset)):
-    if atom <= original_set_var:
-        rule_str = rule_str + " v({0}) ;".format(atom)
-    else:
-        rule_str = rule_str + " a({0}) ;".format(atom)
+# rule_str = "{"
+# for index, atom in enumerate(list(varset)):
+#     if atom <= original_set_var:
+#         rule_str = rule_str + " v({0}) ;".format(atom)
+#     else:
+#         rule_str = rule_str + " a({0}) ;".format(atom)
 
-rule_str = rule_str[:-1] + "}."  # end of rule
-output_file_pointer.write(rule_str + "\n")
-output_file_pointer.write("#heuristic v(X). [1, false]" + "\n")
-output_file_pointer.write("#show v/1. \n")
+# rule_str = rule_str[:-1] + "}."  # end of rule
+# output_file_pointer.write(rule_str + "\n")
+# output_file_pointer.write("#heuristic v(X). [1, false]" + "\n")
+# output_file_pointer.write("#show v/1. \n")
 
 file_pointer.close()
 minimal_file_pointer.close()
-output_file_pointer.close()
+# output_file_pointer.close()