fix: updating version sumber

flamapy · Nov 6, 2023 · 9989939 · 9989939
1 parent 3d5dd43
commit 9989939
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py b/flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py
@@ -136,7 +136,6 @@ def _store_constraint_relation(self, relation: Relation, clauses:List[List[int]]
             self.destination_model.add_clause(clause)
 
     def add_relation(self, relation: Relation) -> None:  # noqa: MC0001
-
         if relation.is_mandatory():
             clauses = self._add_mandatory_relation(relation)
         elif relation.is_optional():

diff --git a/setup.py b/setup.py
@@ -22,8 +22,8 @@
     ],
     python_requires='>=3.9',
     install_requires=[
-        'flamapy~=1.1.3',
-        'flamapy-fm~=1.1.3',
+        'flamapy~=1.5.0',
+        'flamapy-fm~=1.5.0',
         'python-sat>=0.1.7.dev6'
     ],
     extras_require={