Release 0.0.5

Author: fern-api[bot]

README.md

@@ -82,29 +82,29 @@ Use the `max_retries` request option to configure this behavior.
 
 ```python
 client.pic.extract(..., request_options={
-        "max_retries": 1
-    })
-    ```
+    "max_retries": 1
+})
+```
 
 ### Timeouts
 
 The SDK defaults to a 60 second timeout. You can configure this with a timeout option at the client or request level.
 
 ```python
 
-    from axiomatic import Axiomatic
+from axiomatic import Axiomatic
 
 client = Axiomatic(
     ...,
     timeout=20.0,
 )
 
 
-    # Override timeout for a specific method
-    client.pic.extract(..., request_options={
-        "timeout_in_seconds": 1
-    })
-    ```
+# Override timeout for a specific method
+client.pic.extract(..., request_options={
+    "timeout_in_seconds": 1
+})
+```
 
 ### Custom Client
 

poetry.lock

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

pyproject.toml

@@ -14,6 +14,7 @@
     StatementInput,
     SynthesisResponse,
     SynthesizeCircuitResponse,
+    Type,
     ValidationError,
     ValidationErrorLocItem,
 )
@@ -40,6 +41,7 @@
     "StatementInput",
     "SynthesisResponse",
     "SynthesizeCircuitResponse",
+    "Type",
     "UnprocessableEntityError",
     "ValidationError",
     "ValidationErrorLocItem",

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

src/axiomatic/core/client_wrapper.py

@@ -13,6 +13,7 @@
 from .statement_input import StatementInput
 from .synthesis_response import SynthesisResponse
 from .synthesize_circuit_response import SynthesizeCircuitResponse
+from .type import Type
 from .validation_error import ValidationError
 from .validation_error_loc_item import ValidationErrorLocItem
 
@@ -30,6 +31,7 @@
     "StatementInput",
     "SynthesisResponse",
     "SynthesizeCircuitResponse",
+    "Type",
     "ValidationError",
     "ValidationErrorLocItem",
 ]

src/axiomatic/types/__init__.py

@@ -3,15 +3,17 @@
 from ..core.pydantic_utilities import UniversalBaseModel
 import typing_extensions
 from ..core.serialization import FieldMetadata
-from ..core.pydantic_utilities import IS_PYDANTIC_V2
 import typing
+from .type import Type
+from ..core.pydantic_utilities import IS_PYDANTIC_V2
 import pydantic
 
 
 class Statement(UniversalBaseModel):
     id: str
     statement: str
     z_3_formalization: typing_extensions.Annotated[str, FieldMetadata(alias="z3_formalization")]
+    type: typing.Optional[Type] = None
 
     if IS_PYDANTIC_V2:
         model_config: typing.ClassVar[pydantic.ConfigDict] = pydantic.ConfigDict(extra="allow", frozen=True)  # type: ignore # Pydantic v2

src/axiomatic/types/statement.py

@@ -0,0 +1,5 @@
+# This file was auto-generated by Fern from our API Definition.
+
+import typing
+
+Type = typing.Union[typing.Literal["COST_FUNCTION", "CONSTRAINT", "OBJECTIVE", "UNKNOWN"], typing.Any]