Revert "Override fusesoc's request for >= 0.8.0, because 0.9.0 is broken"

This reverts commit a7a8b069ca914cd10801c46106e6eace68993f49.

Reason for revert: upstream bug fixed

Change-Id: Icee936d39f92354a1c455d51f5bc050a0bfb4906

python-requirements.txt

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