The type of optimization solvers.

create () creates a new optimization solver.

push solver pushes a new context level onto the solver solver.

pop solver pops a context level from the solver solver.

add solver exprs adds the expressions exprs to the solver solver.

protect solver f executes the function f within a protected context, ensuring that the solver state is restored after execution.

check solver checks the satisfiability of the solver solver. Returns `Sat, `Unsat, or `Unknown.

model solver retrieves the model from the solver solver, if one exists.

maximize solver expr maximizes the expression expr in the solver solver. Returns the optimal value if found.

minimize solver expr minimizes the expression expr in the solver solver. Returns the optimal value if found.

get_statistics solver retrieves statistics from the solver solver.