removing print statements

sygus_learner.py

@@ -135,7 +135,7 @@ class SygusLearner(LearnerBase):
                 # print("constant: "+ f"{type(simplify(t.arg(0))) }")
                 simp_arg = simplify(t.arg(0))
                 float_val = float(simp_arg.as_string())
-                print(float_val)
+                #print(float_val)
                 r.add(float_val)
                 ais.append(float_val)
                 return
@@ -145,7 +145,7 @@ class SygusLearner(LearnerBase):
                 # print("constant: "+ f"{type(simplify(t.arg(3))) }")
                 simp_arg = simplify(t.arg(3))
                 float_val = float(simp_arg.as_string())
-                print(float_val)
+                #print(float_val)
                 r.add(float_val)
                 bis.append(float_val)
                 #bis_array.append(simplify(t.arg(3)))