Engine

class Engine(*values)

Bases: Enum

Engine used for building models and model checking.

DD = 'dd'

Symbolic engine based on decision diagrams. Requires a symbolic model.

HYBRID = 'hybrid'

Hybrid engine combining decision diagrams and explicit numerical computations. Requires a symbolic model.

SPARSE = 'sparse'

Explicit (sparse) engine. Requires a sparse model.