numpy>=1.21
python-sat>=0.1.8

[benchmark]
cnfgen

[dev]
pytest>=7.0
