Все вопросы: [binary-decision-diagram]
1 вопросов
2
голосов
4ответов
1614 просмотров
Доступны ли какие-либо зрелые инструменты для построения двоичных диаграмм решений?
Существуют ли библиотеки Binary Decision Diagram (BDD) для C или других языков, которые протестированы и имеют хорошую документацию?