Skip to content

Commit f9707e7

Browse files
authored
Merge pull request #32 from Axiomatic-AI/new_axtract_2
New axtract 2
2 parents b52d9be + b6a2a6b commit f9707e7

20 files changed

+1320
-164
lines changed

.DS_Store

6 KB
Binary file not shown.

.fernignore

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,4 +3,10 @@ src/axiomatic/axtract.py
33
src/axiomatic/client.py
44
src/axiomatic/document_helpers.py
55
src/axiomatic/magic.py
6-
src/axiomatic/pic_helpers.py
6+
src/axiomatic/pic_helpers.py
7+
src/axiomatic/axtract/axtract_report.py
8+
src/axiomatic/axtract/__init__.py
9+
src/axiomatic/axtract/interactive_table.py
10+
src/axiomatic/axtract/models.py
11+
src/axiomatic/axtract/relation_graph.py
12+
src/axiomatic/axtract/validation_result.py

src/.DS_Store

6 KB
Binary file not shown.

src/axiomatic/.DS_Store

8 KB
Binary file not shown.

src/axiomatic/__init__.py

Lines changed: 12 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -84,8 +84,17 @@
8484
Z3Expression,
8585
)
8686
from .errors import UnprocessableEntityError
87-
from . import code_execution, document, formalization, fso, lean, pic, requirements, tools
88-
from .client import AsyncAxiomatic, Axiomatic
87+
from . import (
88+
code_execution,
89+
document,
90+
formalization,
91+
fso,
92+
lean,
93+
pic,
94+
requirements,
95+
tools,
96+
)
97+
from .client import AsyncAxiomatic, Axiomatic, AxtractHelper
8998
from .environment import AxiomaticEnvironment
9099
from .version import __version__
91100

@@ -94,6 +103,7 @@
94103
"AxesInfo",
95104
"Axiomatic",
96105
"AxiomaticEnvironment",
106+
"AxtractHelper",
97107
"Bundle",
98108
"BundleSettingsValue",
99109
"Computation",

0 commit comments

Comments
 (0)