Merge "Revert "Override fusesoc's request for >= 0.8.0, because 0.9.0 is broken""
diff --git a/python-requirements.txt b/python-requirements.txt
index 24c9217..c21675e 100644
--- a/python-requirements.txt
+++ b/python-requirements.txt
@@ -55,9 +55,6 @@
 # The version is different from upstream OT because ot-0.3 builds HW twice
 # somehow and doubles the build time.
 git+https://github.com/lowRISC/fusesoc.git@ot-0.1
-# Override fusesoc's request for >= 0.8.0, because 0.9.0 is broken
-# https://github.com/enthought/sat-solver/issues/289
-simplesat==0.8.2
 
 # Development version with OT-specific changes
 # The version is different from upstream OT because v0.4.0 builds HW twice