Подскажите пожалуйста, можно ли безопасно удалить переменные из менеджера в CUDD? Например: я регистрирую две переменные по v1 = Cudd_bddNewVar(manager) ; и v2 = Cudd_bddNewVar(manager) . Могу ли я удалить v2 из менеджера?

Я просматривал лицензированное руководство, чтобы представить семейства продуктов в виде модели сумок, в которой также учитываются вхождения, чтобы придумать BDD. Я пытаюсь включить аналогичные шаги в свою проблему. Текст говорит Если мы...

Я работаю над проектом коррекции/синтеза программы. Моя задача — получить трассировку ошибки (контрпример), найти ее в полном пространстве состояний и восстановить модель в этом месте. Я хочу реализовать это как расширение NuSMV. Я занимался...

Я пытаюсь найти общее количество узлов в Shared-BDD, используя CUDD. Я уже написал код C, используя BuDDy-2.4, и он работает нормально. Но когда я использую CUDD вместо BuDDy, Моя программа показывает ошибку. Мой файл BuDDY C: //BuDDY_C...