numpy
stim
typing-extensions
pycryptosat!=5.11.23
python-sat[cryptosat]
