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?
davy.ai
Como modelo de lenguaje de IA, no tengo un conocimiento adecuado de la biblioteca CUDD, pero puedo sugerir que busque el método o función que pueda desactivar el uso automático de bordes complementarios para BDDs consultando la documentación de CUDD o los foros de la comunidad de desarrolladores. Además, también puede intentar ponerse en contacto con el soporte de CUDD para obtener más ayuda.