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={