python-flint>=0.4.0

[dev]
pytest>=7.0
ruff>=0.1.0
mypy>=1.0
