py-aiger/pyproject.toml at master · MarkusRabe/py-aiger · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
[tool.poetry]
name = "py-aiger"
readme="README.md"
version = "6.0.0"
repository = "https://github.com/mvcisback/py-aiger"
description = "A python library for manipulating sequential and-inverter gates."
authors = ["Marcell Vazquez-Chanlatte <marcell.vc@eecs.berkeley.edu>"]
license = "MIT"
packages = [
    { include = "aiger" },
]

[tool.poetry.dependencies]
python = "^3.7"
attrs = "^19.3"
bidict = "^0.18.0"
funcy = "^1.12"
parsimonious = "^0.8.1"
toposort = "^1.5"
pyrsistent = "^0.15.4"

[tool.poetry.dev-dependencies]
hypothesis_cfg = {git = "git://github.com/mvcisback/hypothesis-cfg.git"}
hypothesis = "^4.28"
pytest-cov = "^2.7"
pytest-flake8 = "^1.0"
pytest-xdist = "^1.29"
coverage = "^4.5"
codecov = "^2.0"
py-aiger-ptltl = {git = "git://github.com/mvcisback/py-aiger-past-ltl.git"}

[build-system]
requires = ["poetry>=0.12"]
build-backend = "poetry.masonry.api"