Release 0.0.13

Author: fern-api[bot]

README.md

@@ -20,12 +20,22 @@ A full reference for this library is available [here](./reference.md).
 Instantiate and use the client with the following:
 
 ```python
-from axiomatic import Axiomatic
+from axiomatic import Axiomatic, RequirementBody
 
 client = Axiomatic(
     api_key="YOUR_API_KEY",
 )
-client.pic.extract()
+client.requirements.check_requirements_endpoint(
+    request=[
+        RequirementBody(
+            latex_symbol="latex_symbol",
+            requirement_name="requirement_name",
+            tolerance=1.1,
+            value=1.1,
+            units="units",
+        )
+    ],
+)
 ```
 
 ## Async Client
@@ -35,15 +45,25 @@ The SDK also exports an `async` client so that you can make non-blocking calls t
 ```python
 import asyncio
 
-from axiomatic import AsyncAxiomatic
+from axiomatic import AsyncAxiomatic, RequirementBody
 
 client = AsyncAxiomatic(
     api_key="YOUR_API_KEY",
 )
 
 
 async def main() -> None:
-    await client.pic.extract()
+    await client.requirements.check_requirements_endpoint(
+        request=[
+            RequirementBody(
+                latex_symbol="latex_symbol",
+                requirement_name="requirement_name",
+                tolerance=1.1,
+                value=1.1,
+                units="units",
+            )
+        ],
+    )
 
 
 asyncio.run(main())
@@ -58,7 +78,7 @@ will be thrown.
 from axiomatic.core.api_error import ApiError
 
 try:
-    client.pic.extract(...)
+    client.requirements.check_requirements_endpoint(...)
 except ApiError as e:
     print(e.status_code)
     print(e.body)
@@ -81,7 +101,7 @@ A request is deemed retriable when any of the following HTTP status codes is ret
 Use the `max_retries` request option to configure this behavior.
 
 ```python
-client.pic.extract(..., request_options={
+client.requirements.check_requirements_endpoint(..., request_options={
     "max_retries": 1
 })
 ```
@@ -101,7 +121,7 @@ client = Axiomatic(
 
 
 # Override timeout for a specific method
-client.pic.extract(..., request_options={
+client.requirements.check_requirements_endpoint(..., request_options={
     "timeout_in_seconds": 1
 })
 ```

poetry.lock

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

pyproject.toml

@@ -41,6 +41,71 @@ client.health_check_health_check_get()
 </dl>
 
 
+</dd>
+</dl>
+</details>
+
+## requirements
+<details><summary><code>client.requirements.<a href="src/axiomatic/requirements/client.py">check_requirements_endpoint</a>(...)</code></summary>
+<dl>
+<dd>
+
+#### 🔌 Usage
+
+<dl>
+<dd>
+
+<dl>
+<dd>
+
+```python
+from axiomatic import Axiomatic, RequirementBody
+
+client = Axiomatic(
+    api_key="YOUR_API_KEY",
+)
+client.requirements.check_requirements_endpoint(
+    request=[
+        RequirementBody(
+            latex_symbol="latex_symbol",
+            requirement_name="requirement_name",
+            tolerance=1.1,
+            value=1.1,
+            units="units",
+        )
+    ],
+)
+
+```
+</dd>
+</dl>
+</dd>
+</dl>
+
+#### ⚙️ Parameters
+
+<dl>
+<dd>
+
+<dl>
+<dd>
+
+**request:** `typing.Sequence[RequirementBody]` 
+    
+</dd>
+</dl>
+
+<dl>
+<dd>
+
+**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
+    
+</dd>
+</dl>
+</dd>
+</dl>
+
+
 </dd>
 </dl>
 </details>

reference.md

@@ -18,6 +18,7 @@
     PicComponentInfoValue,
     PicComponentSettingsValue,
     RefineCodeResponse,
+    RequirementBody,
     Statement,
     StatementInput,
     SynthesisResponse,
@@ -29,7 +30,7 @@
     VerifyNetlistResponse,
 )
 from .errors import UnprocessableEntityError
-from . import experimental, formalization, generic, lean, pic
+from . import experimental, formalization, generic, lean, pic, requirements
 from .client import AsyncAxiomatic, Axiomatic
 from .environment import AxiomaticEnvironment
 from .version import __version__
@@ -55,6 +56,7 @@
     "PicComponentInfoValue",
     "PicComponentSettingsValue",
     "RefineCodeResponse",
+    "RequirementBody",
     "Statement",
     "StatementInput",
     "SynthesisResponse",
@@ -71,4 +73,5 @@
     "generic",
     "lean",
     "pic",
+    "requirements",
 ]

src/axiomatic/__init__.py

@@ -4,6 +4,7 @@
 from .environment import AxiomaticEnvironment
 import httpx
 from .core.client_wrapper import SyncClientWrapper
+from .requirements.client import RequirementsClient
 from .pic.client import PicClient
 from .lean.client import LeanClient
 from .experimental.client import ExperimentalClient
@@ -14,6 +15,7 @@
 from json.decoder import JSONDecodeError
 from .core.api_error import ApiError
 from .core.client_wrapper import AsyncClientWrapper
+from .requirements.client import AsyncRequirementsClient
 from .pic.client import AsyncPicClient
 from .lean.client import AsyncLeanClient
 from .experimental.client import AsyncExperimentalClient
@@ -79,6 +81,7 @@ def __init__(
             else httpx.Client(timeout=_defaulted_timeout),
             timeout=_defaulted_timeout,
         )
+        self.requirements = RequirementsClient(client_wrapper=self._client_wrapper)
         self.pic = PicClient(client_wrapper=self._client_wrapper)
         self.lean = LeanClient(client_wrapper=self._client_wrapper)
         self.experimental = ExperimentalClient(client_wrapper=self._client_wrapper)
@@ -186,6 +189,7 @@ def __init__(
             else httpx.AsyncClient(timeout=_defaulted_timeout),
             timeout=_defaulted_timeout,
         )
+        self.requirements = AsyncRequirementsClient(client_wrapper=self._client_wrapper)
         self.pic = AsyncPicClient(client_wrapper=self._client_wrapper)
         self.lean = AsyncLeanClient(client_wrapper=self._client_wrapper)
         self.experimental = AsyncExperimentalClient(client_wrapper=self._client_wrapper)

src/axiomatic/client.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.12",
+            "X-Fern-SDK-Version": "0.0.13",
         }
         headers["x-api-key"] = self.api_key
         return headers

src/axiomatic/core/client_wrapper.py

@@ -0,0 +1,2 @@
+# This file was auto-generated by Fern from our API Definition.
+