/JavaBDD_Application

JavaBDD 的应用，包括：电路正确性验证、布尔函数运算，以及 CTL 模型检验。基于 SpringBoot 框架，使用 Graphviz 可视化。

Primary LanguageHTMLGNU General Public License v3.0GPL-3.0

No issues in this repository yet.