test_tocnf: stray prints
@@ -65,9 +65,6 @@ class TestToCnf(unittest.TestCase):
m = CPM_ortools(Model(cons))
while m.solve():
sols.append(vs.value())
- print("vs",vs)
- print("vs.v",vs.value())
- print(~all(vs == vs.value()))
m += ~all(vs == vs.value())
return np.array(sols)
@@ -75,3 +72,4 @@ class TestToCnf(unittest.TestCase):
if __name__ == '__main__':
unittest.main()
+
