pyproject.toml

[project]
name = "symbolic-automata-monitors"
version = "0.2.0"
description = "Symbolic Automata monitors for quantitative reasoning of signals"
readme = "README.md"
license = { file = "LICENSE" }

maintainers = [{ name = "Anand Balakrishnan" }]

authors = [{ name = "Anand Balakrishnan" }, { name = "Dejan Nickovic" }]

classifiers = [
  "License :: OSI Approved :: BSD License",
  "Programming Language :: Python :: 3 :: Only",
  "Intended Audience :: Science/Research",
]

requires-python = "~= 3.9"

dependencies = [
  "numpy ~= 1.21",
  "scipy ~= 1.7",
  "z3-solver ~= 4.8",
  "networkx ~= 2.6",
  "rtamt @ https://github.com/nickovic/rtamt/tarball/a16db77b61028f774d81457ff22e666229a5432c",
]

[project.urls]
repository = "https://github.com/anand-bala/symbolic-automata-monitors"

[tool.setuptools.packages.find]
where = ["src"]

[build-system]
requires = ["setuptools >= 61.0", "setuptools-scm", "wheel"]
build-backend = "setuptools.build_meta"

[tool.isort]
profile = "black"
group_by_package = true

[tool.black]
line-length = 88

[[tool.mypy.overrides]]
module = ["rtamt", "rtamt.*"]
ignore_missing_imports = true

[[tool.mypy.overrides]]
module = ["spot", "z3"]
ignore_missing_imports = true