Apague los bordes de complemento para BDDs en CUDD.
He revisado la documentación en línea para CUDD (http://web.mit.edu/sage/export/tmp/y/usr/share/doc/polybori/cudd/cuddIntro.html), una biblioteca para Diagramas de Decisión Binarios (BDD), pero no pude encontrar un método para desactivar el uso automático de bordes complementarios para BDD. Me parece que debería existir, ¿sabes si existe?