SmtSolver

Warning

The stormpy developer API is internal and can be subject to change.

class SmtSolver

Bases: pybind11_object

Generic Storm SmtSolver Wrapper

add(

self: stormpy.developer._core.SmtSolver,

assertion: stormpy.expressions.Expression,

) → None

Add constraint

check(self: stormpy.developer._core.SmtSolver) → stormpy.developer._core.SmtCheckResult

Check

get_model(

self: stormpy.developer._core.SmtSolver,

) → stormpy.developer._core.ModelReference

Get the model

pop(

self: stormpy.developer._core.SmtSolver,

n: SupportsInt | SupportsIndex,

) → None

Pop

push(self: stormpy.developer._core.SmtSolver) → None

Push

reset(self: stormpy.developer._core.SmtSolver) → None

Reset