bdd implementation
Create a Bdd implementation to improve the logic reduction of Boolean combinations of types and improve the subtype decision process.
This should be incorporated also into the minimization procedure
Create a Bdd implementation to improve the logic reduction of Boolean combinations of types and improve the subtype decision process.
This should be incorporated also into the minimization procedure