Skip to content

Commit 6b92cb9

Browse files
fern-api[bot]fern-api[bot]
committed
Release 0.0.11
1 parent 5e16068 commit 6b92cb9

20 files changed

+1216
-152
lines changed

‎pyproject.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[tool.poetry]
22
name = "axiomatic"
3-
version = "0.0.10"
3+
version = "0.0.11"
44
description = ""
55
readme = "README.md"
66
authors = []

‎reference.md

Lines changed: 282 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -615,6 +615,201 @@ client.pic.generate(
615615
</dl>
616616

617617

618+
</dd>
619+
</dl>
620+
</details>
621+
622+
<details><summary><code>client.pic.<a href="src/axiomatic/pic/client.py">refine</a>(...)</code></summary>
623+
<dl>
624+
<dd>
625+
626+
#### 📝 Description
627+
628+
<dl>
629+
<dd>
630+
631+
<dl>
632+
<dd>
633+
634+
Refine GDS factory code to create a circuit
635+
</dd>
636+
</dl>
637+
</dd>
638+
</dl>
639+
640+
#### 🔌 Usage
641+
642+
<dl>
643+
<dd>
644+
645+
<dl>
646+
<dd>
647+
648+
```python
649+
from axiomatic import Axiomatic
650+
651+
client = Axiomatic(
652+
api_key="YOUR_API_KEY",
653+
)
654+
client.pic.refine(
655+
query="query",
656+
)
657+
658+
```
659+
</dd>
660+
</dl>
661+
</dd>
662+
</dl>
663+
664+
#### ⚙️ Parameters
665+
666+
<dl>
667+
<dd>
668+
669+
<dl>
670+
<dd>
671+
672+
**query:** `str`
673+
674+
</dd>
675+
</dl>
676+
677+
<dl>
678+
<dd>
679+
680+
**feedback:** `typing.Optional[str]`
681+
682+
</dd>
683+
</dl>
684+
685+
<dl>
686+
<dd>
687+
688+
**code:** `typing.Optional[str]`
689+
690+
</dd>
691+
</dl>
692+
693+
<dl>
694+
<dd>
695+
696+
**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
697+
698+
</dd>
699+
</dl>
700+
</dd>
701+
</dl>
702+
703+
704+
</dd>
705+
</dl>
706+
</details>
707+
708+
<details><summary><code>client.pic.<a href="src/axiomatic/pic/client.py">verify_netlist</a>(...)</code></summary>
709+
<dl>
710+
<dd>
711+
712+
#### 📝 Description
713+
714+
<dl>
715+
<dd>
716+
717+
<dl>
718+
<dd>
719+
720+
Verify a netlist meets physical constraints within statements
721+
</dd>
722+
</dl>
723+
</dd>
724+
</dl>
725+
726+
#### 🔌 Usage
727+
728+
<dl>
729+
<dd>
730+
731+
<dl>
732+
<dd>
733+
734+
```python
735+
from axiomatic import Axiomatic, Measurement, Netlist, PicComponent, Statement
736+
737+
client = Axiomatic(
738+
api_key="YOUR_API_KEY",
739+
)
740+
client.pic.verify_netlist(
741+
netlist=Netlist(
742+
name="name",
743+
instances={
744+
"key": PicComponent(
745+
component="component",
746+
)
747+
},
748+
connections={"key": "value"},
749+
ports={"key": "value"},
750+
),
751+
statements=[
752+
Statement(
753+
id="id",
754+
statement="statement",
755+
z_3_formalization="z3_formalization",
756+
)
757+
],
758+
measurements=[
759+
Measurement(
760+
variable="variable",
761+
arguments={"key": "value"},
762+
measurement_name="measurement_name",
763+
)
764+
],
765+
)
766+
767+
```
768+
</dd>
769+
</dl>
770+
</dd>
771+
</dl>
772+
773+
#### ⚙️ Parameters
774+
775+
<dl>
776+
<dd>
777+
778+
<dl>
779+
<dd>
780+
781+
**netlist:** `Netlist`
782+
783+
</dd>
784+
</dl>
785+
786+
<dl>
787+
<dd>
788+
789+
**statements:** `typing.Sequence[Statement]`
790+
791+
</dd>
792+
</dl>
793+
794+
<dl>
795+
<dd>
796+
797+
**measurements:** `typing.Sequence[Measurement]`
798+
799+
</dd>
800+
</dl>
801+
802+
<dl>
803+
<dd>
804+
805+
**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
806+
807+
</dd>
808+
</dl>
809+
</dd>
810+
</dl>
811+
812+
618813
</dd>
619814
</dl>
620815
</details>
@@ -961,7 +1156,8 @@ client.experimental.synthesize(
9611156
</dl>
9621157
</details>
9631158

964-
<details><summary><code>client.experimental.<a href="src/axiomatic/experimental/client.py">magic_request</a>(...)</code></summary>
1159+
## formalization
1160+
<details><summary><code>client.formalization.<a href="src/axiomatic/formalization/client.py">formalize</a>(...)</code></summary>
9651161
<dl>
9661162
<dd>
9671163

@@ -973,7 +1169,7 @@ client.experimental.synthesize(
9731169
<dl>
9741170
<dd>
9751171

976-
Interactive assistant for IPython extension
1172+
Formalize a query into a dictionary of constraints
9771173
</dd>
9781174
</dl>
9791175
</dd>
@@ -993,7 +1189,7 @@ from axiomatic import Axiomatic
9931189
client = Axiomatic(
9941190
api_key="YOUR_API_KEY",
9951191
)
996-
client.experimental.magic_request(
1192+
client.formalization.formalize(
9971193
query="query",
9981194
)
9991195

@@ -1019,7 +1215,89 @@ client.experimental.magic_request(
10191215
<dl>
10201216
<dd>
10211217

1022-
**cell:** `typing.Optional[str]`
1218+
**domain:** `typing.Optional[typing.Literal["PIC"]]`
1219+
1220+
</dd>
1221+
</dl>
1222+
1223+
<dl>
1224+
<dd>
1225+
1226+
**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
1227+
1228+
</dd>
1229+
</dl>
1230+
</dd>
1231+
</dl>
1232+
1233+
1234+
</dd>
1235+
</dl>
1236+
</details>
1237+
1238+
<details><summary><code>client.formalization.<a href="src/axiomatic/formalization/client.py">validate</a>(...)</code></summary>
1239+
<dl>
1240+
<dd>
1241+
1242+
#### 📝 Description
1243+
1244+
<dl>
1245+
<dd>
1246+
1247+
<dl>
1248+
<dd>
1249+
1250+
Validate a set of values with respect to a dictionary of constraints
1251+
</dd>
1252+
</dl>
1253+
</dd>
1254+
</dl>
1255+
1256+
#### 🔌 Usage
1257+
1258+
<dl>
1259+
<dd>
1260+
1261+
<dl>
1262+
<dd>
1263+
1264+
```python
1265+
from axiomatic import Axiomatic, FormalizeResponse
1266+
1267+
client = Axiomatic(
1268+
api_key="YOUR_API_KEY",
1269+
)
1270+
client.formalization.validate(
1271+
constraints=FormalizeResponse(
1272+
variables={"key": "value"},
1273+
expressions=[],
1274+
),
1275+
values={"key": "value"},
1276+
)
1277+
1278+
```
1279+
</dd>
1280+
</dl>
1281+
</dd>
1282+
</dl>
1283+
1284+
#### ⚙️ Parameters
1285+
1286+
<dl>
1287+
<dd>
1288+
1289+
<dl>
1290+
<dd>
1291+
1292+
**constraints:** `FormalizeResponse`
1293+
1294+
</dd>
1295+
</dl>
1296+
1297+
<dl>
1298+
<dd>
1299+
1300+
**values:** `typing.Dict[str, str]`
10231301

10241302
</dd>
10251303
</dl>

‎src/axiomatic/__init__.py

Lines changed: 20 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,20 +8,28 @@
88
ExtractResponse,
99
ExtractStatementsResponse,
1010
ExtractTitleResponse,
11+
FormalizeResponse,
1112
GenerateCodeResponse,
1213
HttpValidationError,
1314
InteractiveResponse,
14-
MagicResponse,
15+
Measurement,
16+
Netlist,
17+
PicComponent,
18+
PicComponentInfoValue,
19+
PicComponentSettingsValue,
20+
RefineCodeResponse,
1521
Statement,
1622
StatementInput,
1723
SynthesisResponse,
1824
SynthesizeCircuitResponse,
1925
Type,
26+
ValidateResponse,
2027
ValidationError,
2128
ValidationErrorLocItem,
29+
VerifyNetlistResponse,
2230
)
2331
from .errors import UnprocessableEntityError
24-
from . import experimental, generic, lean, pic
32+
from . import experimental, formalization, generic, lean, pic
2533
from .client import AsyncAxiomatic, Axiomatic
2634
from .environment import AxiomaticEnvironment
2735
from .version import __version__
@@ -37,20 +45,29 @@
3745
"ExtractResponse",
3846
"ExtractStatementsResponse",
3947
"ExtractTitleResponse",
48+
"FormalizeResponse",
4049
"GenerateCodeResponse",
4150
"HttpValidationError",
4251
"InteractiveResponse",
43-
"MagicResponse",
52+
"Measurement",
53+
"Netlist",
54+
"PicComponent",
55+
"PicComponentInfoValue",
56+
"PicComponentSettingsValue",
57+
"RefineCodeResponse",
4458
"Statement",
4559
"StatementInput",
4660
"SynthesisResponse",
4761
"SynthesizeCircuitResponse",
4862
"Type",
4963
"UnprocessableEntityError",
64+
"ValidateResponse",
5065
"ValidationError",
5166
"ValidationErrorLocItem",
67+
"VerifyNetlistResponse",
5268
"__version__",
5369
"experimental",
70+
"formalization",
5471
"generic",
5572
"lean",
5673
"pic",

0 commit comments

Comments
 (0)