imandrax-tools 0.1.0__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
Metadata-Version: 2.3
|
|
2
|
+
Name: imandrax-tools
|
|
3
|
+
Version: 0.1.0
|
|
4
|
+
Summary: Add your description here
|
|
5
|
+
Author: hongyu
|
|
6
|
+
Author-email: hongyu <hongyu@imandra.ai>
|
|
7
|
+
Requires-Dist: imandrax-api-models>=1.0.0
|
|
8
|
+
Requires-Dist: iml-query>=0.4.2
|
|
9
|
+
Requires-Python: >=3.12
|
|
10
|
+
Description-Content-Type: text/markdown
|
|
11
|
+
|
|
12
|
+
# ImandraX Tools
|
|
13
|
+
|
|
14
|
+
Common utilities for interacting with ImandraX / IML, for both humans and LLMs.
|
|
15
|
+
|
|
16
|
+
Umbrella package that bundles [iml-query](../iml-query) and [imandrax-api-models](../imandrax-api-models)
|
|
@@ -0,0 +1,79 @@
|
|
|
1
|
+
[project]
|
|
2
|
+
name = "imandrax-tools"
|
|
3
|
+
version = "0.1.0"
|
|
4
|
+
description = "Add your description here"
|
|
5
|
+
readme = "README.md"
|
|
6
|
+
authors = [
|
|
7
|
+
{ name = "hongyu", email = "hongyu@imandra.ai" }
|
|
8
|
+
]
|
|
9
|
+
requires-python = ">=3.12"
|
|
10
|
+
dependencies = [
|
|
11
|
+
"imandrax-api-models>=1.0.0",
|
|
12
|
+
"iml-query>=0.4.2",
|
|
13
|
+
]
|
|
14
|
+
|
|
15
|
+
[build-system]
|
|
16
|
+
requires = ["uv_build>=0.8.22,<0.9.0"]
|
|
17
|
+
build-backend = "uv_build"
|
|
18
|
+
|
|
19
|
+
[dependency-groups]
|
|
20
|
+
dev = [
|
|
21
|
+
"pytest>=9.0.1",
|
|
22
|
+
]
|
|
23
|
+
|
|
24
|
+
[tool.ruff.lint]
|
|
25
|
+
extend-select = [
|
|
26
|
+
"Q",
|
|
27
|
+
"RUF100",
|
|
28
|
+
"RUF018", # https://docs.astral.sh/ruff/rules/assignment-in-assert/
|
|
29
|
+
"C90",
|
|
30
|
+
"UP",
|
|
31
|
+
"I",
|
|
32
|
+
"D",
|
|
33
|
+
"TID251",
|
|
34
|
+
]
|
|
35
|
+
flake8-quotes = { inline-quotes = "single", multiline-quotes = "double" }
|
|
36
|
+
mccabe = { max-complexity = 15 }
|
|
37
|
+
ignore = [
|
|
38
|
+
"D100", # ignore missing docstring in module
|
|
39
|
+
"D101", # ignore missing docstring in public class
|
|
40
|
+
"D102", # ignore missing docstring in public method
|
|
41
|
+
"D103", # ignore missing docstring in public function
|
|
42
|
+
"D104", # ignore missing docstring in public package
|
|
43
|
+
"D105", # ignore missing docstring in magic methods
|
|
44
|
+
"D106", # ignore missing docstring in public nested class
|
|
45
|
+
"D107", # ignore missing docstring in __init__ methods
|
|
46
|
+
"D203",
|
|
47
|
+
"D212",
|
|
48
|
+
]
|
|
49
|
+
pycodestyle.ignore-overlong-task-comments = true
|
|
50
|
+
isort.combine-as-imports = true
|
|
51
|
+
|
|
52
|
+
[tool.ruff.lint.per-file-ignores]
|
|
53
|
+
"scripts/**/*.py" = ["F401", "RUF100", "D", "E402", "B018"]
|
|
54
|
+
"data/**/*.py" = ["F401", "RUF100", "D", "E402", "B018"]
|
|
55
|
+
|
|
56
|
+
[tool.ruff.format]
|
|
57
|
+
quote-style = "single"
|
|
58
|
+
|
|
59
|
+
[tool.ty]
|
|
60
|
+
environment.python = "./.venv"
|
|
61
|
+
|
|
62
|
+
[tool.ty.rules]
|
|
63
|
+
# Handled by pyright
|
|
64
|
+
unsupported-operator = "ignore"
|
|
65
|
+
invalid-argument-type = "ignore"
|
|
66
|
+
invalid-return-type = "ignore"
|
|
67
|
+
possibly-missing-attribute = "ignore"
|
|
68
|
+
unresolved-import = "ignore"
|
|
69
|
+
|
|
70
|
+
[tool.pyright]
|
|
71
|
+
venvPath = "."
|
|
72
|
+
venv = ".venv"
|
|
73
|
+
pythonVersion = "3.12"
|
|
74
|
+
typeCheckingMode = "strict"
|
|
75
|
+
reportMissingTypeStubs = false
|
|
76
|
+
reportUnnecessaryIsInstance = false
|
|
77
|
+
reportUnnecessaryTypeIgnoreComment = true
|
|
78
|
+
reportUnusedImport = "none"
|
|
79
|
+
reportUnusedExpression = false
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
"""
|
|
2
|
+
ImandraX Tools - Common utilities for interacting with ImandraX / IML.
|
|
3
|
+
|
|
4
|
+
Umbrella package that bundles iml-query and imandrax-api-models.
|
|
5
|
+
|
|
6
|
+
Usage:
|
|
7
|
+
from imandrax_tools.api_models import ...
|
|
8
|
+
from imandrax_tools.iml_query import ...
|
|
9
|
+
"""
|
|
10
|
+
|
|
11
|
+
from . import api_models, iml_query
|
|
12
|
+
|
|
13
|
+
__all__ = ['api_models', 'iml_query']
|