diff --git a/python-requirements.txt b/python-requirements.txt
index c21675e..24c9217 100644
--- a/python-requirements.txt
+++ b/python-requirements.txt
@@ -55,6 +55,9 @@
 # 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