javabdd
There are 0 repository under javabdd topic.
Alpenbelieve / JavaBDD_Application
JavaBDD 的应用，包括：电路正确性验证、布尔函数运算，以及 CTL 模型检验。基于 SpringBoot 框架，使用 Graphviz 可视化。
Language:HTML 3
There are 0 repository under javabdd topic.
Alpenbelieve / JavaBDD_ApplicationJavaBDD 的应用，包括：电路正确性验证、布尔函数运算，以及 CTL 模型检验。基于 SpringBoot 框架，使用 Graphviz 可视化。