Remove simplesat version pin

With the new version of simplesat 0.9.1 wheel was fixed so there is no need for pinning the version Signed-off-by: bbrzyski <[email protected]>
antmicro · Sep 10, 2024 · 62be4b4 · 62be4b4
1 parent 1f436c6
commit 62be4b4
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/examples/inout/requirements.txt b/examples/inout/requirements.txt
@@ -1,4 +1,2 @@
 ../../.[topwrap-parse]
 fusesoc
-# TODO: Remove when simplesat fixes the issue: https://github.com/enthought/sat-solver/issues/286
-simplesat==0.8.2