Bases: pybind11_object
Environment for CUDD DD manager
-
property constant_precision
Precision for constants
-
property maximal_memory
Maximal memory (in MB)
-
property reordering_enabled
Whether reordering is enabled
-
property reordering_technique
Reordering technique