numpy==1.22.4
pycosat==0.6.3
