From 9989939bd760b8f4c9da2b8301d3b0e5c1ddd560 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20A=2E?= Date: Mon, 6 Nov 2023 12:19:26 +0000 Subject: [PATCH] fix: updating version sumber --- .../metamodels/pysat_metamodel/transformations/fm_to_pysat.py | 1 - setup.py | 4 ++-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py b/flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py index df9bcd9..3b30769 100644 --- 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 index 9042962..7619f99 100644 --- 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={