Release 0.0.133

Author: fern-api[bot]

pyproject.toml

@@ -3,7 +3,7 @@ name = "axiomatic"
 
 [tool.poetry]
 name = "axiomatic"
-version = "0.0.132"
+version = "0.0.133"
 description = ""
 readme = "README.md"
 authors = []

src/axiomatic/__init__.py

@@ -54,6 +54,7 @@
     PicInstanceInfoValue,
     PicInstanceSettingsValue,
     PicWarning,
+    PicZ3Expression,
     Placement,
     PlatformData,
     PlotInfo,
@@ -76,10 +77,6 @@
     StatementValidation,
     StatementValidationDictionary,
     StatusResponse,
-    StructureConstraint,
-    StructureFunctionCall,
-    StructureFunctionCallArgumentsValue,
-    StructureFunctionCallExpectedResult,
     SummarizerResponse,
     Symbol,
     ToolsListResponse,
@@ -95,7 +92,6 @@
     ValidationResult,
     VerifyCircuitCodeResponse,
     VerifyResponse,
-    Z3Expression,
 )
 from .errors import UnprocessableEntityError
 from . import code_execution, document, formalization, fso, lean, pic, requirements, tools
@@ -160,6 +156,7 @@
     "PicInstanceInfoValue",
     "PicInstanceSettingsValue",
     "PicWarning",
+    "PicZ3Expression",
     "Placement",
     "PlatformData",
     "PlotInfo",
@@ -182,10 +179,6 @@
     "StatementValidation",
     "StatementValidationDictionary",
     "StatusResponse",
-    "StructureConstraint",
-    "StructureFunctionCall",
-    "StructureFunctionCallArgumentsValue",
-    "StructureFunctionCallExpectedResult",
     "SummarizerResponse",
     "Symbol",
     "ToolsListResponse",
@@ -202,7 +195,6 @@
     "ValidationResult",
     "VerifyCircuitCodeResponse",
     "VerifyResponse",
-    "Z3Expression",
     "__version__",
     "code_execution",
     "document",

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.132",
+            "X-Fern-SDK-Version": "0.0.133",
         }
         headers["X-API-Key"] = self.api_key
         return headers

src/axiomatic/types/__init__.py

@@ -53,6 +53,7 @@
 from .pic_instance_info_value import PicInstanceInfoValue
 from .pic_instance_settings_value import PicInstanceSettingsValue
 from .pic_warning import PicWarning
+from .pic_z3expression import PicZ3Expression
 from .placement import Placement
 from .platform_data import PlatformData
 from .plot_info import PlotInfo
@@ -75,10 +76,6 @@
 from .statement_validation import StatementValidation
 from .statement_validation_dictionary import StatementValidationDictionary
 from .status_response import StatusResponse
-from .structure_constraint import StructureConstraint
-from .structure_function_call import StructureFunctionCall
-from .structure_function_call_arguments_value import StructureFunctionCallArgumentsValue
-from .structure_function_call_expected_result import StructureFunctionCallExpectedResult
 from .summarizer_response import SummarizerResponse
 from .symbol import Symbol
 from .tools_list_response import ToolsListResponse
@@ -94,7 +91,6 @@
 from .validation_result import ValidationResult
 from .verify_circuit_code_response import VerifyCircuitCodeResponse
 from .verify_response import VerifyResponse
-from .z3expression import Z3Expression
 
 __all__ = [
     "AxesInfo",
@@ -150,6 +146,7 @@
     "PicInstanceInfoValue",
     "PicInstanceSettingsValue",
     "PicWarning",
+    "PicZ3Expression",
     "Placement",
     "PlatformData",
     "PlotInfo",
@@ -172,10 +169,6 @@
     "StatementValidation",
     "StatementValidationDictionary",
     "StatusResponse",
-    "StructureConstraint",
-    "StructureFunctionCall",
-    "StructureFunctionCallArgumentsValue",
-    "StructureFunctionCallExpectedResult",
     "SummarizerResponse",
     "Symbol",
     "ToolsListResponse",
@@ -191,5 +184,4 @@
     "ValidationResult",
     "VerifyCircuitCodeResponse",
     "VerifyResponse",
-    "Z3Expression",
 ]

src/axiomatic/types/cost_function.py

@@ -4,7 +4,7 @@
 import typing
 from .statement_type import StatementType
 import pydantic
-from .z3expression import Z3Expression
+from .pic_z3expression import PicZ3Expression
 from .statement_validation import StatementValidation
 from ..core.pydantic_utilities import IS_PYDANTIC_V2
 
@@ -16,7 +16,7 @@ class CostFunction(UniversalBaseModel):
     The natural language content of the statement.
     """
 
-    formalization: typing.Optional[Z3Expression] = None
+    formalization: typing.Optional[PicZ3Expression] = None
     validation: typing.Optional[StatementValidation] = pydantic.Field(default=None)
     """
     The validation result of the statement.

src/axiomatic/types/parameter_constraint.py

@@ -4,7 +4,7 @@
 import typing
 from .statement_type import StatementType
 import pydantic
-from .z3expression import Z3Expression
+from .pic_z3expression import PicZ3Expression
 from .statement_validation import StatementValidation
 from ..core.pydantic_utilities import IS_PYDANTIC_V2
 
@@ -16,7 +16,7 @@ class ParameterConstraint(UniversalBaseModel):
     The natural language content of the statement.
     """
 
-    formalization: typing.Optional[Z3Expression] = None
+    formalization: typing.Optional[PicZ3Expression] = None
     validation: typing.Optional[StatementValidation] = pydantic.Field(default=None)
     """
     The validation result of the statement.

src/axiomatic/types/z3expression.py renamed to src/axiomatic/types/pic_z3expression.py

@@ -1,20 +1,20 @@
 # This file was auto-generated by Fern from our API Definition.
 
 from ..core.pydantic_utilities import UniversalBaseModel
-import typing
 import pydantic
+import typing
 from .computation import Computation
 from ..core.pydantic_utilities import IS_PYDANTIC_V2
 
 
-class Z3Expression(UniversalBaseModel):
+class PicZ3Expression(UniversalBaseModel):
     """
-    The model for a Z3 expression.
+    The model for a Z3 expression related to PIC.
+    This is a subclass of Z3Expression, which is a model for a Z3 expression.
     The validation is such that an instance contains a code that can be parsed into a z3 expression and, if mapping is set, it contains a valid Computation for every variable in the expression.
     It does not check if the expression can be evaluated, this depends on the target Netlist.
     """
 
-    type: typing.Optional[typing.Literal["Z3_EXPRESSION"]] = None
     code: str = pydantic.Field()
     """
     A string with the z3 expression.

src/axiomatic/types/statement_dictionary.py

@@ -3,7 +3,6 @@
 from ..core.pydantic_utilities import UniversalBaseModel
 import typing
 from .cost_function import CostFunction
-from .structure_constraint import StructureConstraint
 from .parameter_constraint import ParameterConstraint
 from .unformalizable_statement import UnformalizableStatement
 from ..core.pydantic_utilities import IS_PYDANTIC_V2
@@ -16,7 +15,6 @@ class StatementDictionary(UniversalBaseModel):
     """
 
     cost_functions: typing.Optional[typing.List[CostFunction]] = None
-    structure_constraints: typing.Optional[typing.List[StructureConstraint]] = None
     parameter_constraints: typing.Optional[typing.List[ParameterConstraint]] = None
     unformalizable_statements: typing.Optional[typing.List[UnformalizableStatement]] = None