tarski
requests
rich
nnf
python-sat
bauhaus
numpy

[dev]
pytest
pytest-cov
flake8
black
pre-commit
