Release 0.0.22

Author: fern-api[bot]

pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "axiomatic"
-version = "0.0.21"
+version = "0.0.22"
 description = ""
 readme = "README.md"
 authors = []

reference.md

@@ -1102,6 +1102,115 @@ client.pic.verify_netlist(
 </dl>
 
 
+</dd>
+</dl>
+</details>
+
+<details><summary><code>client.pic.<a href="src/axiomatic/pic/client.py">optimize_netlist</a>(...)</code></summary>
+<dl>
+<dd>
+
+#### 📝 Description
+
+<dl>
+<dd>
+
+<dl>
+<dd>
+
+Optimize a netlist with given constraints
+</dd>
+</dl>
+</dd>
+</dl>
+
+#### 🔌 Usage
+
+<dl>
+<dd>
+
+<dl>
+<dd>
+
+```python
+from axiomatic import Axiomatic, Measurement, Netlist, PicComponent, Statement
+
+client = Axiomatic(
+    api_key="YOUR_API_KEY",
+)
+client.pic.optimize_netlist(
+    netlist=Netlist(
+        name="name",
+        instances={
+            "key": PicComponent(
+                component="component",
+            )
+        },
+        connections={"key": "value"},
+        ports={"key": "value"},
+    ),
+    statements=[
+        Statement(
+            id="id",
+            statement="statement",
+            z_3_formalization="z3_formalization",
+        )
+    ],
+    measurements=[
+        Measurement(
+            variable="variable",
+            arguments={"key": "value"},
+            measurement_name="measurement_name",
+        )
+    ],
+)
+
+```
+</dd>
+</dl>
+</dd>
+</dl>
+
+#### ⚙️ Parameters
+
+<dl>
+<dd>
+
+<dl>
+<dd>
+
+**netlist:** `Netlist` 
+    
+</dd>
+</dl>
+
+<dl>
+<dd>
+
+**statements:** `typing.Sequence[Statement]` 
+    
+</dd>
+</dl>
+
+<dl>
+<dd>
+
+**measurements:** `typing.Sequence[Measurement]` 
+    
+</dd>
+</dl>
+
+<dl>
+<dd>
+
+**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
+    
+</dd>
+</dl>
+</dd>
+</dl>
+
+
 </dd>
 </dl>
 </details>

src/axiomatic/__init__.py

@@ -6,17 +6,22 @@
     Edge,
     ExtractLinksResponse,
     ExtractResponse,
+    ExtractStatementsInput,
     ExtractStatementsResponse,
     ExtractTitleResponse,
     FormalizeResponse,
+    GenerateCodeBody,
     GenerateCodeResponse,
     HttpValidationError,
     InteractiveResponse,
     Measurement,
     Netlist,
+    OptimizeNetlistBody,
+    OptimizeNetlistResponse,
     PicComponent,
     PicComponentInfoValue,
     PicComponentSettingsValue,
+    RefineCodeBody,
     RefineCodeResponse,
     RequirementBody,
     SolutionResponse,
@@ -29,6 +34,7 @@
     ValidateResponse,
     ValidationError,
     ValidationErrorLocItem,
+    VerifyNetlistInput,
     VerifyNetlistResponse,
     VerifyResponse,
 )
@@ -48,17 +54,22 @@
     "Edge",
     "ExtractLinksResponse",
     "ExtractResponse",
+    "ExtractStatementsInput",
     "ExtractStatementsResponse",
     "ExtractTitleResponse",
     "FormalizeResponse",
+    "GenerateCodeBody",
     "GenerateCodeResponse",
     "HttpValidationError",
     "InteractiveResponse",
     "Measurement",
     "Netlist",
+    "OptimizeNetlistBody",
+    "OptimizeNetlistResponse",
     "PicComponent",
     "PicComponentInfoValue",
     "PicComponentSettingsValue",
+    "RefineCodeBody",
     "RefineCodeResponse",
     "RequirementBody",
     "SolutionBodyValuesValue",
@@ -73,6 +84,7 @@
     "ValidateResponse",
     "ValidationError",
     "ValidationErrorLocItem",
+    "VerifyNetlistInput",
     "VerifyNetlistResponse",
     "VerifyResponse",
     "__version__",

src/axiomatic/core/client_wrapper.py

@@ -16,7 +16,7 @@ def get_headers(self) -> typing.Dict[str, str]:
         headers: typing.Dict[str, str] = {
             "X-Fern-Language": "Python",
             "X-Fern-SDK-Name": "axiomatic",
-            "X-Fern-SDK-Version": "0.0.21",
+            "X-Fern-SDK-Version": "0.0.22",
         }
         headers["X-API-Key"] = self.api_key
         return headers