Updated pytamer and minor fixes

aiplan4eu · Oct 18, 2023 · 08ddcc5 · 08ddcc5
1 parent c48db20
commit 08ddcc5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -22,7 +22,7 @@
       author_email='[email protected]',
       url='https://tamer.fbk.eu',
       packages=['up_tamer'],
-      install_requires=['pytamer==0.1.15', 'ConfigSpace'],
+      install_requires=['pytamer==0.1.16', 'ConfigSpace'],
       python_requires='>=3.7',
       license='APACHE'
 )
diff --git a/up_tamer/engine.py b/up_tamer/engine.py
@@ -441,6 +441,8 @@ def _convert_problem(self, problem: 'up.model.Problem') -> Tuple[pytamer.tamer_p
         converter = Converter(self._env, problem, fluents_map, {}, instances_map)
         constants_assignments = {}
         for k, v in problem.initial_values.items():
+            if k.type.is_real_type() and v.is_int_constant():
+                v = problem.environment.expression_manager.Real(Fraction(v.constant_value()))
             if k.fluent() not in static_fluents:
                 ass = pytamer.tamer_expr_make_assign(self._env, converter.convert(k), converter.convert(v))
                 expr = pytamer.tamer_expr_make_temporal_expression(self._env, self._tamer_start, ass)