PySymGym/pyproject.toml at main · cat923/PySymGym · 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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
[tool.poetry]
authors = [
  "Semyon Grigorev rsdpisuy@gmail.com",
  "Ekaterina Shemetova katyacyfra@gmail.com",
  "Max Nigmatulin mvnigma@gmail.com",
  "Anya Chistyakova chi.vinny0702@gmail.com",
]
description = "Python infrastructure to train paths selectors for symbolic execution engines."
license = "LICENSE"
name = "pysymgym"
package-mode = false
readme = "README.md"
version = "0.1.0"

[tool.poetry.dependencies]
aiohttp = "^3.13.3"
dataclasses-json = "^0.6.7"
func-timeout = "^4.3.5"
httplib2 = "^0.31.2"
joblib = "^1.5.3"
matplotlib = "^3.10.8"
natsort = "^8.4.0"
onnx = "^1.20.1"
onnxruntime = "^1.23.1"
optuna = "^4.7.0"
pandas = "^2.3.3"
psutil = "^7.2.2"
pydantic = "^2.12.5"
python = "^3.11"
tabulate = "^0.9.0"
torch = "^2.7.1"
torch-geometric = "^2.7.0"
tqdm = "^4.67.1"
websocket-client = "^1.9.0"
mlflow = "^3.9.0"
cattrs = "^25.3.0"
attrs = "^25.4.0"
pynvml = "^13.0.1"

[tool.poetry.group.test.dependencies]
pytest = "^9.0.2"

[tool.poetry.group.formatter.dependencies]
ruff = "^0.14.14"

[build-system]
build-backend = "poetry.core.masonry.api"
requires = ["poetry-core==2.2.1"]

[tool.ruff]
include = ["pyproject.toml", "AIAgent/**/*.py", "*.ipynb"]
target-version = "py311"

[tool.ruff.lint]
select = ["F", "E", "W", "B"]
ignore = ["E501"]
extend-select = ["E226"]
preview = true
explicit-preview-rules = true