diff --git a/requirements.txt b/requirements.txt
index 0bc7417..7c48fe1 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -1,3 +1,3 @@
-flamapy-fw==2.0.0.dev6
-flamapy-fm==2.0.0.dev7
+flamapy-fw==2.0.0.dev7
+flamapy-fm==2.0.0.dev8
 python-sat~=0.1.7.dev1
\ No newline at end of file
diff --git a/setup.py b/setup.py
index de68e13..bc7fd00 100644
--- a/setup.py
+++ b/setup.py
@@ -16,7 +16,7 @@ def read_requirements(file):
 
 setuptools.setup(
     name="flamapy-sat",
-    version="2.0.0.dev7",
+    version="2.0.0.dev8",
     author="Flamapy",
     author_email="flamapy@us.es",
     description="flamapy-sat is a plugin to flamapy module",