/JavaBDD_Application

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

Primary LanguageHTMLGNU General Public License v3.0GPL-3.0

No issues in this repository yet.