jijmodeling 1.10.2__cp39-cp39-manylinux_2_28_aarch64.whl → 1.11.0__cp39-cp39-manylinux_2_28_aarch64.whl

jijmodeling/__init__.pyi

@@ -1,6 +1,7 @@
 # This file is automatically generated by pyo3_stub_gen
 # ruff: noqa: E501, F401
 
+import builtins
 import numpy
 import numpy.typing
 import typing
@@ -9,7 +10,7 @@ from . import experimental
 from . import range
 from enum import Enum, auto
 
-__version__: str
+__version__: builtins.str
 class AbsOp:
     r"""
     A class for representing the absolute value
@@ -26,7 +27,7 @@ class AbsOp:
     The `AbsOp` class does not have a constructor.
     """
     operand: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -37,13 +38,13 @@ class AbsOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -64,10 +65,10 @@ class AbsOp:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -122,8 +123,8 @@ class AddOp:
     instantiation method is by calling the addition operation on other
     expressions.
     """
-    terms: list[typing.Any]
-    def set_latex(self, latex = ...) -> None:
+    terms: builtins.list[typing.Any]
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -134,13 +135,13 @@ class AddOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -161,10 +162,10 @@ class AddOp:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -217,8 +218,8 @@ class AndOp:
     -----
     The `AndOp` class does not have a constructor.
     """
-    terms: list[typing.Any]
-    def set_latex(self, latex = ...) -> None:
+    terms: builtins.list[typing.Any]
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -229,13 +230,13 @@ class AndOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
 
@@ -271,10 +272,10 @@ class ArrayLength:
     ```
     """
     array: Placeholder | Element | Subscript
-    axis: int
-    description: typing.Optional[str]
-    def __new__(cls,array,axis,*,latex = ...,description = ...): ...
-    def set_latex(self, latex = ...) -> None:
+    axis: builtins.int
+    description: typing.Optional[builtins.str]
+    def __new__(cls,array:Placeholder | Element | Subscript, axis:builtins.int, *, latex:typing.Optional[builtins.str]=None, description:typing.Optional[builtins.str]=None): ...
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -285,13 +286,13 @@ class ArrayLength:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -312,10 +313,10 @@ class ArrayLength:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -403,11 +404,11 @@ class BinaryVar:
     
     ```
     """
-    name: str
-    description: str
-    ndim: int
+    name: builtins.str
+    description: builtins.str
+    ndim: builtins.int
     shape: tuple
-    def __new__(cls,name,*,shape = ...,latex = ...,description = ...): ...
+    def __new__(cls,name:builtins.str, *, shape:typing.Optional[typing.Sequence[typing.Any]]=None, latex:typing.Optional[builtins.str]=None, description:typing.Optional[builtins.str]=None): ...
     def __getitem__(self, index:typing.Any) -> typing.Any:
         ...
 
@@ -417,7 +418,7 @@ class BinaryVar:
     def __rtruediv__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -428,13 +429,13 @@ class BinaryVar:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -455,10 +456,10 @@ class BinaryVar:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mul__(self, other:typing.Any) -> typing.Any:
@@ -499,7 +500,7 @@ class CeilOp:
     The `CeilOp` class does not have a constructor.
     """
     operand: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -510,13 +511,13 @@ class CeilOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -537,10 +538,10 @@ class CeilOp:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -640,23 +641,23 @@ class Constraint:
     
     ```
     """
-    name: str
+    name: builtins.str
     sense: ConstraintSense
     left: typing.Any
     right: typing.Any
-    forall: list[tuple[Element, typing.Optional[typing.Any]]]
+    forall: Element | tuple[Element, typing.Optional[typing.Any]] | builtins.list[Element | tuple[Element, typing.Optional[typing.Any]]]
     expression: typing.Any
-    def __new__(cls,name,expression,*,forall = ...): ...
-    def _repr_latex_(self) -> str:
+    def __new__(cls,name:builtins.str, expression:typing.Any, *, forall:typing.Optional[Element | tuple[Element, typing.Optional[typing.Any]] | typing.Sequence[Element | tuple[Element, typing.Optional[typing.Any]]]]=None): ...
+    def _repr_latex_(self) -> builtins.str:
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def is_equality(self) -> bool:
+    def is_equality(self) -> builtins.bool:
         r"""
         Returns true if the constraint is an equality constraint.
         
@@ -679,7 +680,7 @@ class Constraint:
         """
         ...
 
-    def is_inequality(self) -> bool:
+    def is_inequality(self) -> builtins.bool:
         r"""
         Returns true if the constraint is an inequality constraint.
         
@@ -771,13 +772,13 @@ class ContinuousVar:
     
     ```
     """
-    name: str
-    description: str
-    ndim: int
+    name: builtins.str
+    description: builtins.str
+    ndim: builtins.int
     shape: tuple
     lower_bound: typing.Any | Placeholder | Subscript
     upper_bound: typing.Any | Placeholder | Subscript
-    def __new__(cls,name,*,shape = ...,lower_bound,upper_bound,latex = ...,description = ...): ...
+    def __new__(cls,name:builtins.str, *, shape:typing.Optional[typing.Sequence[typing.Any]]=None, lower_bound:typing.Any | Placeholder | Subscript, upper_bound:typing.Any | Placeholder | Subscript, latex:typing.Optional[builtins.str]=None, description:typing.Optional[builtins.str]=None): ...
     def __getitem__(self, index:typing.Any) -> typing.Any:
         ...
 
@@ -787,7 +788,7 @@ class ContinuousVar:
     def __rtruediv__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -798,13 +799,13 @@ class ContinuousVar:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -825,10 +826,10 @@ class ContinuousVar:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mul__(self, other:typing.Any) -> typing.Any:
@@ -915,17 +916,17 @@ class CustomPenaltyTerm:
     
     ```
     """
-    name: str
+    name: builtins.str
     expression: typing.Any
-    forall: list[tuple[Element, typing.Optional[typing.Any]]]
-    def __new__(cls,name,expression,*,forall = ...): ...
-    def _repr_latex_(self) -> str:
+    forall: Element | tuple[Element, typing.Optional[typing.Any]] | builtins.list[Element | tuple[Element, typing.Optional[typing.Any]]]
+    def __new__(cls,name:builtins.str, expression:typing.Any, *, forall:typing.Optional[Element | tuple[Element, typing.Optional[typing.Any]] | typing.Sequence[Element | tuple[Element, typing.Optional[typing.Any]]]]=None): ...
+    def _repr_latex_(self) -> builtins.str:
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
 
@@ -1092,16 +1093,16 @@ class Element:
     
     ```
     """
-    name: str
-    ndim: int
+    name: builtins.str
+    ndim: builtins.int
     belong_to: Range | Placeholder | Element | Subscript
-    description: typing.Optional[str]
+    description: typing.Optional[builtins.str]
     shape: tuple
-    def __new__(cls,name,belong_to,*,latex = ...,description = ...): ...
-    def len_at(self, axis,*,latex = ...,description = ...) -> ArrayLength:
+    def __new__(cls,name:builtins.str, belong_to:typing.Any, *, latex:typing.Optional[builtins.str]=None, description:typing.Optional[builtins.str]=None): ...
+    def len_at(self, axis:builtins.int, *, latex:typing.Optional[builtins.str]=None, description:typing.Optional[builtins.str]=None) -> ArrayLength:
         ...
 
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -1112,13 +1113,13 @@ class Element:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __getitem__(self, index:typing.Any) -> Subscript:
@@ -1142,10 +1143,10 @@ class Element:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -1200,7 +1201,7 @@ class EqualOp:
     """
     left: typing.Any
     right: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -1211,13 +1212,13 @@ class EqualOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
 
@@ -1239,17 +1240,17 @@ class Evaluation:
     objective: numpy.typing.NDArray[numpy.float64]
     constraint_violations: dict
     constraint_forall: dict
-    constraint_values: list[dict]
+    constraint_values: builtins.list[dict]
     penalty: dict
-    constraint_expr_values: list[dict[str, dict]]
-    def __new__(cls,energy = ...,objective = ...,constraint_violations = ...,constraint_forall = ...,constraint_values = ...,penalty = ...): ...
-    def __str__(self) -> str:
+    constraint_expr_values: builtins.list[builtins.dict[builtins.str, dict]]
+    def __new__(cls,energy:typing.Optional[typing.Sequence[builtins.float]]=None, objective:typing.Optional[typing.Sequence[builtins.float]]=None, constraint_violations:typing.Optional[typing.Mapping[builtins.str, typing.Sequence[builtins.float]]]=None, constraint_forall:typing.Optional[typing.Mapping[builtins.str, typing.Sequence[typing.Sequence[builtins.int]]]]=None, constraint_values:typing.Optional[typing.Sequence[typing.Mapping[builtins.str, typing.Sequence[builtins.float]]]]=None, penalty:typing.Optional[typing.Mapping[builtins.str, typing.Sequence[builtins.float]]]=None): ...
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def __richcmp__(self, other:Evaluation, op:int) -> bool:
+    def __richcmp__(self, other:Evaluation, op:int) -> builtins.bool:
         ...
 
     def to_dict(self) -> dict:
@@ -1273,7 +1274,7 @@ class Evaluation:
         """
         ...
 
-    def to_json(self) -> str:
+    def to_json(self) -> builtins.str:
         r"""
         Serialize the Evaluation object into a JSON string.
         
@@ -1324,7 +1325,7 @@ class FloorOp:
     The `FloorOp` class does not have a constructor.
     """
     operand: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -1335,13 +1336,13 @@ class FloorOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -1362,10 +1363,10 @@ class FloorOp:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -1420,7 +1421,7 @@ class GreaterThanEqualOp:
     """
     left: typing.Any
     right: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -1431,13 +1432,13 @@ class GreaterThanEqualOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
 
@@ -1459,7 +1460,7 @@ class GreaterThanOp:
     """
     left: typing.Any
     right: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -1470,13 +1471,13 @@ class GreaterThanOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
 
@@ -1549,13 +1550,13 @@ class IntegerVar:
     
     ```
     """
-    name: str
-    description: str
-    ndim: int
+    name: builtins.str
+    description: builtins.str
+    ndim: builtins.int
     shape: tuple
     lower_bound: typing.Any | Placeholder | Subscript
     upper_bound: typing.Any | Placeholder | Subscript
-    def __new__(cls,name,*,shape = ...,lower_bound,upper_bound,latex = ...,description = ...): ...
+    def __new__(cls,name:builtins.str, *, shape:typing.Optional[typing.Sequence[typing.Any]]=None, lower_bound:typing.Any | Placeholder | Subscript, upper_bound:typing.Any | Placeholder | Subscript, latex:typing.Optional[builtins.str]=None, description:typing.Optional[builtins.str]=None): ...
     def __getitem__(self, index:typing.Any) -> typing.Any:
         ...
 
@@ -1565,7 +1566,7 @@ class IntegerVar:
     def __rtruediv__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -1576,13 +1577,13 @@ class IntegerVar:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -1603,10 +1604,10 @@ class IntegerVar:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mul__(self, other:typing.Any) -> typing.Any:
@@ -1677,37 +1678,48 @@ class Interpreter:
     
     ```
     """
-    num_decision_variables: int
-    num_constraints: int
+    num_decision_variables: builtins.int
     def __new__(cls,instance_data:dict): ...
-    def insert_instance_data(self, key:str, value:float | numpy.typing.NDArray[numpy.float64] | JaggedArray | typing.Sequence[float] | typing.Sequence[typing.Sequence[float]] | typing.Sequence[typing.Sequence[typing.Sequence[float]]] | typing.Sequence[typing.Sequence[typing.Sequence[typing.Sequence[float]]]]) -> None:
+    def insert_instance_data(self, key:builtins.str, value:builtins.float | numpy.typing.NDArray[numpy.float64] | JaggedArray | typing.Sequence[builtins.float] | typing.Sequence[typing.Sequence[builtins.float]] | typing.Sequence[typing.Sequence[typing.Sequence[builtins.float]]] | typing.Sequence[typing.Sequence[typing.Sequence[typing.Sequence[builtins.float]]]]) -> None:
         ...
 
-    def get_instance_data(self, key:str) -> float | numpy.typing.NDArray[numpy.float64] | JaggedArray:
+    def get_instance_data(self, key:builtins.str) -> builtins.float | numpy.typing.NDArray[numpy.float64] | JaggedArray:
         ...
 
-    def instance_data(self) -> dict[str, float | numpy.typing.NDArray[numpy.float64] | JaggedArray]:
+    def instance_data(self) -> builtins.dict[builtins.str, builtins.float | numpy.typing.NDArray[numpy.float64] | JaggedArray]:
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def get_decision_variable_by_id(self, id:int) -> typing.Any:
+    def get_decision_variable_by_id(self, id:builtins.int) -> typing.Any:
         ...
 
-    def get_decision_variable_by_name(self, name,subscript = ...) -> typing.Any:
+    def get_decision_variable_by_name(self, name:builtins.str, subscript:typing.Optional[typing.Sequence[builtins.int]]=None) -> typing.Any:
         ...
 
-    def eval_scalar(self, expr:typing.Any) -> float:
+    def eval_scalar(self, expr:typing.Any) -> builtins.float:
         ...
 
     def eval_expr(self, expr:typing.Any) -> typing.Any:
         ...
 
-    def eval_constraints(self, constraints:Constraint) -> list[typing.Any]:
+    def eval_constraints(self, constraints:Constraint) -> builtins.list[typing.Any]:
         ...
 
-    def eval_problem(self, problem:Problem) -> typing.Any:
+    def eval_problem(self, problem:Problem, hints:typing.Optional[typing.Sequence[typing.Literal['OneHot']]]=None) -> typing.Any:
+        r"""
+        Evaluate the problem and returns `ommx.v1.Instance`.
+        
+        Args
+        ----
+        - `problem`: a `jijmodeling.Problem` object to compile.
+        - `hints` (optional): a list of constraint hints to be detected during evaluation. When omitted or given `None`, the default constraint hints are used. Pass empty list to disable hint detection entirely.
+        
+        Returns
+        -------
+        `instance`: an OMMX v1 instance object.
+        """
         ...
 
 
@@ -1754,21 +1766,21 @@ class JaggedArray:
     
     ```
     """
-    dim: int
+    dim: builtins.int
     def __new__(cls,obj:typing.Any): ...
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __eq__(self, other:typing.Any) -> bool:
+    def __eq__(self, other:typing.Any) -> builtins.bool:
         ...
 
-    def get(self, index:typing.Sequence[int]) -> float:
+    def get(self, index:typing.Sequence[builtins.int]) -> builtins.float:
         ...
 
-    def __getitem__(self, index:typing.Sequence[int]) -> float:
+    def __getitem__(self, index:typing.Sequence[builtins.int]) -> builtins.float:
         ...
 
-    def size_at(self, index:typing.Sequence[int]) -> int:
+    def size_at(self, index:typing.Sequence[builtins.int]) -> builtins.int:
         ...
 
 
@@ -1790,7 +1802,7 @@ class LessThanEqualOp:
     """
     left: typing.Any
     right: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -1801,13 +1813,13 @@ class LessThanEqualOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
 
@@ -1829,7 +1841,7 @@ class LessThanOp:
     """
     left: typing.Any
     right: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -1840,13 +1852,13 @@ class LessThanOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
 
@@ -1866,7 +1878,7 @@ class LnOp:
     The `LnOp` class does not have a constructor.
     """
     operand: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -1877,13 +1889,13 @@ class LnOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -1904,10 +1916,10 @@ class LnOp:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -1960,7 +1972,7 @@ class Log10Op:
     The `Log10Op` class does not have a constructor.
     """
     operand: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -1971,13 +1983,13 @@ class Log10Op:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -1998,10 +2010,10 @@ class Log10Op:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -2054,7 +2066,7 @@ class Log2Op:
     The `Log2Op` class does not have a constructor.
     """
     operand: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -2065,13 +2077,13 @@ class Log2Op:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -2092,10 +2104,10 @@ class Log2Op:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -2148,8 +2160,8 @@ class MaxOp:
     The `MaxOp` class does not have a constructor. Its intended
     instantiation method is by calling the `max` function.
     """
-    terms: list[typing.Any]
-    def set_latex(self, latex = ...) -> None:
+    terms: builtins.list[typing.Any]
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -2160,13 +2172,13 @@ class MaxOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -2187,10 +2199,10 @@ class MaxOp:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -2239,15 +2251,15 @@ class MeasuringTime:
     """
     solve: SolvingTime
     system: SystemTime
-    total: typing.Optional[float]
-    def __new__(cls,solve = ...,system = ...,total = ...): ...
-    def __str__(self) -> str:
+    total: typing.Optional[builtins.float]
+    def __new__(cls,solve:typing.Optional[SolvingTime]=None, system:typing.Optional[SystemTime]=None, total:typing.Optional[builtins.float]=None): ...
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def __richcmp__(self, other:MeasuringTime, op:int) -> bool:
+    def __richcmp__(self, other:MeasuringTime, op:int) -> builtins.bool:
         ...
 
     def to_dict(self) -> dict:
@@ -2277,7 +2289,7 @@ class MeasuringTime:
         """
         ...
 
-    def to_json(self) -> str:
+    def to_json(self) -> builtins.str:
         r"""
         Serialize the `MeasuringTime` object into a JSON string.
         
@@ -2323,8 +2335,8 @@ class MinOp:
     The `MinOp` class does not have a constructor. Its intended
     instantiation method is by calling the `min` function.
     """
-    terms: list[typing.Any]
-    def set_latex(self, latex = ...) -> None:
+    terms: builtins.list[typing.Any]
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -2335,13 +2347,13 @@ class MinOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -2362,10 +2374,10 @@ class MinOp:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -2420,7 +2432,7 @@ class ModOp:
     """
     left: typing.Any
     right: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -2431,13 +2443,13 @@ class ModOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -2458,10 +2470,10 @@ class ModOp:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -2516,8 +2528,8 @@ class MulOp:
     instantiation method is by calling the multiplication operation on other
     expressions.
     """
-    terms: list[typing.Any]
-    def set_latex(self, latex = ...) -> None:
+    terms: builtins.list[typing.Any]
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -2528,13 +2540,13 @@ class MulOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -2555,10 +2567,10 @@ class MulOp:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -2613,7 +2625,7 @@ class NotEqualOp:
     """
     left: typing.Any
     right: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -2624,13 +2636,13 @@ class NotEqualOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
 
@@ -2675,16 +2687,16 @@ class NumberLit:
     
     ```
     """
-    value: int | float
+    value: builtins.int | builtins.float
     dtype: DataType
-    def __new__(cls,value): ...
-    def __str__(self) -> str:
+    def __new__(cls,value:builtins.int | builtins.float): ...
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -2705,10 +2717,10 @@ class NumberLit:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -2761,8 +2773,8 @@ class OrOp:
     -----
     The `OrOp` class does not have a constructor.
     """
-    terms: list[typing.Any]
-    def set_latex(self, latex = ...) -> None:
+    terms: builtins.list[typing.Any]
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -2773,13 +2785,13 @@ class OrOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
 
@@ -2845,17 +2857,17 @@ class Placeholder:
     
     ```
     """
-    name: str
-    ndim: int
+    name: builtins.str
+    ndim: builtins.int
     dtype: typing.Optional[DataType]
-    jagged: bool
-    description: typing.Optional[str]
+    jagged: builtins.bool
+    description: typing.Optional[builtins.str]
     shape: tuple
-    def __new__(cls,name,*,ndim = ...,shape = ...,dtype = ...,jagged = ...,latex = ...,description = ...): ...
-    def len_at(self, axis,*,latex = ...,description = ...) -> ArrayLength:
+    def __new__(cls,name:builtins.str, *, ndim:typing.Optional[builtins.int]=None, shape:typing.Optional[typing.Sequence[typing.Optional[typing.Any]]]=None, dtype:typing.Optional[DataType]=None, jagged:builtins.bool=False, latex:typing.Optional[builtins.str]=None, description:typing.Optional[builtins.str]=None): ...
+    def len_at(self, axis:builtins.int, *, latex:typing.Optional[builtins.str]=None, description:typing.Optional[builtins.str]=None) -> ArrayLength:
         ...
 
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -2866,13 +2878,13 @@ class Placeholder:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __getitem__(self, index:typing.Any) -> Subscript:
@@ -2896,10 +2908,10 @@ class Placeholder:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -2954,7 +2966,7 @@ class PowOp:
     """
     base: typing.Any
     exponent: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -2965,13 +2977,13 @@ class PowOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -2992,10 +3004,10 @@ class PowOp:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -3053,19 +3065,19 @@ class Problem:
     - `name` (`str`): A name of the optimization problem.
     - `sense` (optional): Sense of the optimization problem. Defaults to `ProblemSense.MINIMIZE`.
     """
-    name: str
+    name: builtins.str
     sense: ProblemSense
     objective: typing.Any
-    constraints: dict[str, Constraint]
-    custom_penalty_terms: dict[str, CustomPenaltyTerm]
-    def __new__(cls,name,*,sense = ...): ...
+    constraints: builtins.dict[builtins.str, Constraint]
+    custom_penalty_terms: builtins.dict[builtins.str, CustomPenaltyTerm]
+    def __new__(cls,name:builtins.str, *, sense:ProblemSense=...): ...
     def __iadd__(self, other:typing.Any) -> Problem:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
-    def used_placeholders(self) -> list[Placeholder]:
+    def used_placeholders(self) -> builtins.list[Placeholder]:
         ...
 
     def get_problem_schema(self) -> dict:
@@ -3078,7 +3090,7 @@ class Problem:
         """
         ...
 
-    def generate_random_dataset(self, default = ...,options = ...,seed = ...) -> dict[str, float | numpy.typing.NDArray[numpy.float64] | JaggedArray]:
+    def generate_random_dataset(self, default:typing.Mapping[builtins.str, builtins.range | tuple[typing.Optional[builtins.int], typing.Optional[builtins.int]] | builtins.int | None | builtins.dict[builtins.str, builtins.dict[builtins.str, builtins.int] | typing.Literal['Unbounded']] | tuple[typing.Mapping[builtins.str, builtins.int] | typing.Literal['Unbounded'], typing.Mapping[builtins.str, builtins.int] | typing.Literal['Unbounded']] | builtins.range | tuple[typing.Optional[builtins.float], typing.Optional[builtins.float]] | builtins.int | builtins.float | None | builtins.dict[builtins.str, builtins.dict[builtins.str, builtins.float] | typing.Literal['Unbounded']] | tuple[builtins.dict[builtins.str, builtins.float] | typing.Literal['Unbounded'], builtins.dict[builtins.str, builtins.float] | typing.Literal['Unbounded']]]={'size': {'start': {'Included': 1}, 'end': {'Included': 5}}, 'value': {'start': {'Included': -1.0}, 'end': {'Included': 1.0}}}, options:typing.Mapping[builtins.str, typing.Mapping[builtins.str, builtins.range | tuple[typing.Optional[builtins.int], typing.Optional[builtins.int]] | builtins.int | None | builtins.dict[builtins.str, builtins.dict[builtins.str, builtins.int] | typing.Literal['Unbounded']] | tuple[typing.Mapping[builtins.str, builtins.int] | typing.Literal['Unbounded'], typing.Mapping[builtins.str, builtins.int] | typing.Literal['Unbounded']] | builtins.range | tuple[typing.Optional[builtins.float], typing.Optional[builtins.float]] | builtins.int | builtins.float | None | builtins.dict[builtins.str, builtins.dict[builtins.str, builtins.float] | typing.Literal['Unbounded']] | tuple[builtins.dict[builtins.str, builtins.float] | typing.Literal['Unbounded'], builtins.dict[builtins.str, builtins.float] | typing.Literal['Unbounded']]]]={}, seed:typing.Optional[builtins.int]=None) -> builtins.dict[builtins.str, builtins.float | numpy.typing.NDArray[numpy.float64] | JaggedArray]:
         r"""
         Generates a dictionary of random `InstanceDataValue` for a given problem.
         To generate `ommx.v1.Instance` object directly, use `InstanceDataValue.generate_random_instance` instead.
@@ -3168,7 +3180,7 @@ class Problem:
         """
         ...
 
-    def generate_random_instance(self, default = ...,options = ...,seed = ...) -> typing.Any:
+    def generate_random_instance(self, default:typing.Mapping[builtins.str, builtins.range | tuple[typing.Optional[builtins.int], typing.Optional[builtins.int]] | builtins.int | None | builtins.dict[builtins.str, builtins.dict[builtins.str, builtins.int] | typing.Literal['Unbounded']] | tuple[typing.Mapping[builtins.str, builtins.int] | typing.Literal['Unbounded'], typing.Mapping[builtins.str, builtins.int] | typing.Literal['Unbounded']] | builtins.range | tuple[typing.Optional[builtins.float], typing.Optional[builtins.float]] | builtins.int | builtins.float | None | builtins.dict[builtins.str, builtins.dict[builtins.str, builtins.float] | typing.Literal['Unbounded']] | tuple[builtins.dict[builtins.str, builtins.float] | typing.Literal['Unbounded'], builtins.dict[builtins.str, builtins.float] | typing.Literal['Unbounded']]]={'size': {'start': {'Included': 1}, 'end': {'Included': 5}}, 'value': {'start': {'Included': -1.0}, 'end': {'Included': 1.0}}}, options:typing.Mapping[builtins.str, typing.Mapping[builtins.str, builtins.range | tuple[typing.Optional[builtins.int], typing.Optional[builtins.int]] | builtins.int | None | builtins.dict[builtins.str, builtins.dict[builtins.str, builtins.int] | typing.Literal['Unbounded']] | tuple[typing.Mapping[builtins.str, builtins.int] | typing.Literal['Unbounded'], typing.Mapping[builtins.str, builtins.int] | typing.Literal['Unbounded']] | builtins.range | tuple[typing.Optional[builtins.float], typing.Optional[builtins.float]] | builtins.int | builtins.float | None | builtins.dict[builtins.str, builtins.dict[builtins.str, builtins.float] | typing.Literal['Unbounded']] | tuple[builtins.dict[builtins.str, builtins.float] | typing.Literal['Unbounded'], builtins.dict[builtins.str, builtins.float] | typing.Literal['Unbounded']]]]={}, seed:typing.Optional[builtins.int]=None, hints:typing.Optional[typing.Sequence[typing.Literal['OneHot']]]=None) -> typing.Any:
         r"""
         Generates random `ommx.v1.Instance` for a given problem.
         See also `InstanceDataValue.generate_random_dataset`.
@@ -3178,6 +3190,7 @@ class Problem:
         - `options` (optional): a dictionary of range parameters for each separate placeholders. The key must be the name of the placeholder and the value must be range parameter (as described in "Range Parameters and Range Syntax" section in :func:`~jijmodeling.Problem.generate_random_dataset`).
         - `default` (optional): default range parameters for placeholders which is not specified in `options`.
         - `seed` (optional): seed for random number generation.
+        - `hints` (optional): the hints to be detected during compilation see `Interpreter.eval_problem` for more details.
         
         Returns
         --------
@@ -3231,7 +3244,7 @@ class ProdOp:
     index: Element
     condition: typing.Optional[typing.Any]
     operand: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -3242,13 +3255,13 @@ class ProdOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -3269,10 +3282,10 @@ class ProdOp:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -3327,10 +3340,10 @@ class Range:
     """
     start: typing.Any
     end: typing.Any
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
 
@@ -3380,16 +3393,16 @@ class Record:
     - `solution` (`Union[Dict[str, List[numpy.ndarray]], Dict[str, List[Tuple[List[int], List[float], Tuple[int, ...]]]]]`): A solution.
     - `num_occurrences` (`List[int]`): A list of the number of occurrences in which the solution is observed.
     """
-    num_occurrences: list[int]
+    num_occurrences: builtins.list[builtins.int]
     solution: dict
-    def __new__(cls,solution,num_occurrences): ...
-    def __str__(self) -> str:
+    def __new__(cls,solution:typing.Any, num_occurrences:typing.Sequence[builtins.int]): ...
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def __richcmp__(self, other:Record, op:int) -> bool:
+    def __richcmp__(self, other:Record, op:int) -> builtins.bool:
         ...
 
     def to_dict(self) -> dict:
@@ -3419,7 +3432,7 @@ class Record:
         """
         ...
 
-    def to_json(self) -> str:
+    def to_json(self) -> builtins.str:
         r"""
         Serialize the `Record` object into a JSON string.
         
@@ -3448,7 +3461,7 @@ class Record:
         """
         ...
 
-    def is_dense(self) -> bool:
+    def is_dense(self) -> builtins.bool:
         r"""
         Return true if the solution is dense.
         
@@ -3458,7 +3471,7 @@ class Record:
         """
         ...
 
-    def is_sparse(self) -> bool:
+    def is_sparse(self) -> builtins.bool:
         r"""
         Return true if the solution is sparse.
         
@@ -3521,14 +3534,14 @@ class SampleSet:
     evaluation: Evaluation
     measuring_time: MeasuringTime
     metadata: dict
-    def __new__(cls,record,evaluation,measuring_time,metadata = ...): ...
-    def __str__(self) -> str:
+    def __new__(cls,record:Record, evaluation:Evaluation, measuring_time:MeasuringTime, metadata:typing.Optional[dict]=None): ...
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def __richcmp__(self, other:SampleSet, op:int) -> bool:
+    def __richcmp__(self, other:SampleSet, op:int) -> builtins.bool:
         ...
 
     def to_dict(self) -> dict:
@@ -3558,7 +3571,7 @@ class SampleSet:
         """
         ...
 
-    def to_json(self) -> str:
+    def to_json(self) -> builtins.str:
         r"""
         Serialize the `SampleSet` object into a JSON string.
         
@@ -3608,7 +3621,7 @@ class SampleSet:
         """
         ...
 
-    def feasible(self, rtol = ...,atol = ...) -> SampleSet:
+    def feasible(self, rtol:builtins.float=1e-05, atol:builtins.float=1e-08) -> SampleSet:
         r"""
         Return a `SampleSet` with only feasible solutions.
         If there is no feasible solution, the record and evaluation are empty.
@@ -3629,7 +3642,7 @@ class SampleSet:
         """
         ...
 
-    def infeasible(self, rtol = ...,atol = ...) -> SampleSet:
+    def infeasible(self, rtol:builtins.float=1e-05, atol:builtins.float=1e-08) -> SampleSet:
         r"""
         Return a `SampleSet` with only infeasible solutions.
         If there is no infeasible solution, the record and evaluation are empty.
@@ -3650,7 +3663,7 @@ class SampleSet:
         """
         ...
 
-    def lowest(self, rtol = ...,atol = ...) -> SampleSet:
+    def lowest(self, rtol:builtins.float=1e-05, atol:builtins.float=1e-08) -> SampleSet:
         r"""
         Return a `SampleSet` with feasible solutions which has the lowest objective.
         If there is no feasible solution, the record and evaluation are empty.
@@ -3671,7 +3684,7 @@ class SampleSet:
         """
         ...
 
-    def is_dense(self) -> bool:
+    def is_dense(self) -> builtins.bool:
         r"""
         Return true if the solution is dense.
         
@@ -3681,7 +3694,7 @@ class SampleSet:
         """
         ...
 
-    def is_sparse(self) -> bool:
+    def is_sparse(self) -> builtins.bool:
         r"""
         Return true if the solution is sparse.
         
@@ -3771,13 +3784,13 @@ class SemiContinuousVar:
     
     ```
     """
-    name: str
-    description: str
-    ndim: int
+    name: builtins.str
+    description: builtins.str
+    ndim: builtins.int
     shape: tuple
     lower_bound: typing.Any | Placeholder | Subscript
     upper_bound: typing.Any | Placeholder | Subscript
-    def __new__(cls,name,*,shape = ...,lower_bound,upper_bound,latex = ...,description = ...): ...
+    def __new__(cls,name:builtins.str, *, shape:typing.Optional[typing.Sequence[typing.Any]]=None, lower_bound:typing.Any | Placeholder | Subscript, upper_bound:typing.Any | Placeholder | Subscript, latex:typing.Optional[builtins.str]=None, description:typing.Optional[builtins.str]=None): ...
     def __getitem__(self, index:typing.Any) -> typing.Any:
         ...
 
@@ -3787,7 +3800,7 @@ class SemiContinuousVar:
     def __rtruediv__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -3798,13 +3811,13 @@ class SemiContinuousVar:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -3825,10 +3838,10 @@ class SemiContinuousVar:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mul__(self, other:typing.Any) -> typing.Any:
@@ -3923,13 +3936,13 @@ class SemiIntegerVar:
     
     ```
     """
-    name: str
-    description: str
-    ndim: int
+    name: builtins.str
+    description: builtins.str
+    ndim: builtins.int
     shape: tuple
     lower_bound: typing.Any | Placeholder | Subscript
     upper_bound: typing.Any | Placeholder | Subscript
-    def __new__(cls,name,*,shape = ...,lower_bound,upper_bound,latex = ...,description = ...): ...
+    def __new__(cls,name:builtins.str, *, shape:typing.Optional[typing.Sequence[typing.Any]]=None, lower_bound:typing.Any | Placeholder | Subscript, upper_bound:typing.Any | Placeholder | Subscript, latex:typing.Optional[builtins.str]=None, description:typing.Optional[builtins.str]=None): ...
     def __getitem__(self, index:typing.Any) -> typing.Any:
         ...
 
@@ -3939,7 +3952,7 @@ class SemiIntegerVar:
     def __rtruediv__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -3950,13 +3963,13 @@ class SemiIntegerVar:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -3977,10 +3990,10 @@ class SemiIntegerVar:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mul__(self, other:typing.Any) -> typing.Any:
@@ -4015,17 +4028,17 @@ class SolvingTime:
     - `solve` (`float`, optional): Time to solve the problem. Defaults to None.
     - `postprocess` (`float`, optional): Time to postprocess the problem. Defaults to None.
     """
-    preprocess: typing.Optional[float]
-    solve: typing.Optional[float]
-    postprocess: typing.Optional[float]
-    def __new__(cls,preprocess = ...,solve = ...,postprocess = ...): ...
-    def __str__(self) -> str:
+    preprocess: typing.Optional[builtins.float]
+    solve: typing.Optional[builtins.float]
+    postprocess: typing.Optional[builtins.float]
+    def __new__(cls,preprocess:typing.Optional[builtins.float]=None, solve:typing.Optional[builtins.float]=None, postprocess:typing.Optional[builtins.float]=None): ...
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def __richcmp__(self, other:SolvingTime, op:int) -> bool:
+    def __richcmp__(self, other:SolvingTime, op:int) -> builtins.bool:
         ...
 
     def to_dict(self) -> dict:
@@ -4055,7 +4068,7 @@ class SolvingTime:
         """
         ...
 
-    def to_json(self) -> str:
+    def to_json(self) -> builtins.str:
         r"""
         Serialize the `SolvingTime` object into a JSON string.
         
@@ -4102,13 +4115,13 @@ class Subscript:
     The Subscript class does not have a constructor.
     """
     variable: typing.Any
-    subscripts: list[typing.Any]
-    ndim: int
+    subscripts: builtins.list[typing.Any]
+    ndim: builtins.int
     shape: tuple
-    def len_at(self, axis,*,latex = ...,description = ...) -> ArrayLength:
+    def len_at(self, axis:builtins.int, *, latex:typing.Optional[builtins.str]=None, description:typing.Optional[builtins.str]=None) -> ArrayLength:
         ...
 
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -4119,13 +4132,13 @@ class Subscript:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __getitem__(self, index:typing.Any) -> Subscript:
@@ -4149,10 +4162,10 @@ class Subscript:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -4209,7 +4222,7 @@ class SumOp:
     index: Element
     condition: typing.Optional[typing.Any]
     operand: typing.Any
-    def set_latex(self, latex = ...) -> None:
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -4220,13 +4233,13 @@ class SumOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
     def __eq__(self, other:typing.Any) -> typing.Any:
@@ -4247,10 +4260,10 @@ class SumOp:
     def __ge__(self, other:typing.Any) -> typing.Any:
         ...
 
-    def __pow__(self, exponent,modulo = ...) -> typing.Any:
+    def __pow__(self, exponent:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
-    def __rpow__(self, base,modulo = ...) -> typing.Any:
+    def __rpow__(self, base:typing.Any, modulo:typing.Optional[typing.Any]=None) -> typing.Any:
         ...
 
     def __mod__(self, other:typing.Any) -> typing.Any:
@@ -4299,19 +4312,19 @@ class SystemTime:
     - `fetch_result` (`float`, optional): Time to fetch result. Defaults to None.
     - `deserialize_solution` (`float`, optional): Time to deserialize json object. Defaults to None.
     """
-    post_problem_and_instance_data: typing.Optional[float]
-    request_queue: typing.Optional[float]
-    fetch_problem_and_instance_data: typing.Optional[float]
-    fetch_result: typing.Optional[float]
-    deserialize_solution: typing.Optional[float]
-    def __new__(cls,post_problem_and_instance_data = ...,request_queue = ...,fetch_problem_and_instance_data = ...,fetch_result = ...,deserialize_solution = ...): ...
-    def __str__(self) -> str:
+    post_problem_and_instance_data: typing.Optional[builtins.float]
+    request_queue: typing.Optional[builtins.float]
+    fetch_problem_and_instance_data: typing.Optional[builtins.float]
+    fetch_result: typing.Optional[builtins.float]
+    deserialize_solution: typing.Optional[builtins.float]
+    def __new__(cls,post_problem_and_instance_data:typing.Optional[builtins.float]=None, request_queue:typing.Optional[builtins.float]=None, fetch_problem_and_instance_data:typing.Optional[builtins.float]=None, fetch_result:typing.Optional[builtins.float]=None, deserialize_solution:typing.Optional[builtins.float]=None): ...
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def __richcmp__(self, other:SystemTime, op:int) -> bool:
+    def __richcmp__(self, other:SystemTime, op:int) -> builtins.bool:
         ...
 
     def to_dict(self) -> dict:
@@ -4341,7 +4354,7 @@ class SystemTime:
         """
         ...
 
-    def to_json(self) -> str:
+    def to_json(self) -> builtins.str:
         r"""
         Serialize the `SystemTime` object into a JSON string.
         
@@ -4387,8 +4400,8 @@ class XorOp:
     -----
     The `XorOp` class does not have a constructor.
     """
-    terms: list[typing.Any]
-    def set_latex(self, latex = ...) -> None:
+    terms: builtins.list[typing.Any]
+    def set_latex(self, latex:typing.Optional[builtins.str]=None) -> None:
         r"""
         Set the LaTeX representation of the object.
         If the LaTeX representation is not set, the default representation is set.
@@ -4399,13 +4412,13 @@ class XorOp:
         """
         ...
 
-    def __str__(self) -> str:
+    def __str__(self) -> builtins.str:
         ...
 
-    def __repr__(self) -> str:
+    def __repr__(self) -> builtins.str:
         ...
 
-    def _repr_latex_(self) -> str:
+    def _repr_latex_(self) -> builtins.str:
         ...
 
 
@@ -4504,7 +4517,7 @@ def concatenate(sample_sets:typing.Sequence[SampleSet]) -> SampleSet:
     """
     ...
 
-def extract_nodes(obj:typing.Any,class_or_tuple:type | typing.Sequence[type]) -> list[typing.Any]:
+def extract_nodes(obj:typing.Any, class_or_tuple:type | typing.Sequence[type]) -> builtins.list[typing.Any]:
     r"""
     Extract all nodes from the given object.
     
@@ -4551,7 +4564,7 @@ def extract_nodes(obj:typing.Any,class_or_tuple:type | typing.Sequence[type]) ->
     """
     ...
 
-def extract_variables(obj:typing.Any) -> list[typing.Any]:
+def extract_variables(obj:typing.Any) -> builtins.list[typing.Any]:
     r"""
     Extract all variables from the given object without duplication.
     
@@ -4624,7 +4637,7 @@ def floor(operand:typing.Any) -> FloorOp:
 def from_protobuf(buf:bytes) -> typing.Any:
     ...
 
-def is_dynamic_degree(expr:typing.Any) -> bool:
+def is_dynamic_degree(expr:typing.Any) -> builtins.bool:
     r"""
     Return true if degree of the expression is not determined statically.
     
@@ -4652,7 +4665,7 @@ def is_dynamic_degree(expr:typing.Any) -> bool:
     """
     ...
 
-def is_higher_order(expr:typing.Any) -> bool:
+def is_higher_order(expr:typing.Any) -> builtins.bool:
     r"""
     Return true if the degree of the given expression is higher than 2.
     
@@ -4666,7 +4679,7 @@ def is_higher_order(expr:typing.Any) -> bool:
     """
     ...
 
-def is_linear(expr:typing.Any) -> bool:
+def is_linear(expr:typing.Any) -> builtins.bool:
     r"""
     Return true if the given expression is linear.
     
@@ -4680,7 +4693,7 @@ def is_linear(expr:typing.Any) -> bool:
     """
     ...
 
-def is_quadratic(expr:typing.Any) -> bool:
+def is_quadratic(expr:typing.Any) -> builtins.bool:
     r"""
     Return true if the given expression is quadratic.
     
@@ -4694,7 +4707,7 @@ def is_quadratic(expr:typing.Any) -> bool:
     """
     ...
 
-def is_same(src:typing.Any,dst:typing.Any) -> bool:
+def is_same(src:typing.Any, dst:typing.Any) -> builtins.bool:
     r"""
     Return `true` if `src` and `dst` are the same object defined by Jijmodeling.
     
@@ -4780,7 +4793,7 @@ def load_mps(path:str) -> tuple:
     """
     ...
 
-def load_qplib(path,load_extra_data = ...) -> tuple:
+def load_qplib(path:str, load_extra_data:builtins.bool=False) -> tuple:
     r"""
     Load a file in QPLIB format to generate a `Problem` object and a
     corresponding instance data dictionary.
@@ -4874,7 +4887,7 @@ def log2(operand:typing.Any) -> Log2Op:
     """
     ...
 
-def max(* operands) -> MaxOp:
+def max(*operands) -> MaxOp:
     r"""
     Create the `MaxOp` object from the expression.
     
@@ -4905,7 +4918,7 @@ def max(* operands) -> MaxOp:
     """
     ...
 
-def min(* operands) -> MinOp:
+def min(*operands) -> MinOp:
     r"""
     Create the `MinOp` object from the expression.
     
@@ -4936,7 +4949,7 @@ def min(* operands) -> MinOp:
     """
     ...
 
-def prod(index:typing.Any,operand:typing.Any) -> ProdOp:
+def prod(index:typing.Any, operand:typing.Any) -> ProdOp:
     r"""
     Create the `ProdOp` object.
     
@@ -4989,7 +5002,7 @@ def prod(index:typing.Any,operand:typing.Any) -> ProdOp:
     """
     ...
 
-def replace(target:typing.Any,replacer:typing.Any) -> typing.Any:
+def replace(target:typing.Any, replacer:typing.Any) -> typing.Any:
     r"""
     Replace expression nodes with the result of calling the replacer function.
     
@@ -5074,7 +5087,7 @@ def replace(target:typing.Any,replacer:typing.Any) -> typing.Any:
     """
     ...
 
-def sum(index:typing.Any,operand:typing.Any) -> SumOp:
+def sum(index:typing.Any, operand:typing.Any) -> SumOp:
     r"""
     Create the `SumOp` object.