Z3SmtSolverFactory¶
Warning
The stormpy developer API is internal and can be subject to change.
- class Z3SmtSolverFactory(self: stormpy.developer._core.Z3SmtSolverFactory)¶
Bases:
SmtSolverFactoryFactory for creating z3 based SMT solvers
Warning
The stormpy developer API is internal and can be subject to change.
Bases: SmtSolverFactory
Factory for creating z3 based SMT solvers