Increase precision

dtree_learner.py

@@ -135,7 +135,7 @@ class DTreeLearner(LearnerBase):
 
     @staticmethod
     def _rounding_feature_vectors(feature_vec_list):
-        ROUND_TO = 2**10  # 1024
+        ROUND_TO = 2**15  # 32768
         # Rounding to reduce hypothesis spaces
         feature_vec_arr = np.array(feature_vec_list)
         feature_vec_arr = np.round(feature_vec_arr * ROUND_TO) / ROUND_TO

dtree_teacher_base.py

@@ -7,7 +7,7 @@ from teacher_base import GurobiTeacherBase
 
 
 class DTreeGurobiTeacherBase(GurobiTeacherBase):
-    PRECISION = 10**-3
+    PRECISION = 2**-20
     Z3_VAR_RE = re.compile(r"(?P<var>\w+)_(?P<idx>\d+)")
 
     def _build_affine_expr(self, z3_expr: z3.ExprRef):