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