JavaBDD 的应用，包括：电路正确性验证、布尔函数运算，以及 CTL 模型检验。基于 SpringBoot 框架，使用 Graphviz 可视化。
-
Updated
May 28, 2021 - HTML
#
javabdd
Here is 1 public repository matching this topic...
Improve this page
Add a description, image, and links to the javabdd topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the javabdd topic, visit your repo's landing page and select "manage topics."