mypy.ini

[mypy]
# exclude = (?x)(
#     ^nfl_veripy/utils/iss_data_generating\.py$
#     | ^nfl_veripy/utils/duffing_data_generating\.py$
#     | ^nfl_veripy/utils/reach_sdp\.py$
#     | ^third_party$
#     | two\.pyi$  # or files ending with "two.pyi"
#     | ^three\.   # or files starting with "three."
#   )
files = src/nfl_veripy/constraints/*.py, src/nfl_veripy/analyzers/*.py, src/nfl_veripy/partitioners/ClosedLoop*.py, src/nfl_veripy/propagators/ClosedLoop*.py

[mypy-matplotlib.*]
ignore_missing_imports = True

[mypy-scipy.*]
ignore_missing_imports = True

[mypy-pandas.*]
ignore_missing_imports = True

[mypy-tensorflow.*]
ignore_missing_imports = True

[mypy-crown_ibp.*]
ignore_missing_imports = True

[mypy-osqp.*]
ignore_missing_imports = True

[mypy-pypoman.*]
ignore_missing_imports = True

[mypy-colour.*]
ignore_missing_imports = True

[mypy-torch.*]
ignore_missing_imports = True

[mypy-jax_verify.*]
ignore_missing_imports = True

[mypy-pygifsicle.*]
ignore_missing_imports = True

[mypy-auto_LiRPA.*]
ignore_missing_imports = True

[mypy-tqdm.*]
ignore_missing_imports = True

[mypy-requests.*]
ignore_missing_imports = True