jjs-bdd-开源

【文件属性】：

文件名称：jjs-bdd-开源

文件大小：568KB

文件格式：BZ2

更新时间：2024-05-17 12:58:34

开源软件

JJS-BDD提供了一个用于以有效方式（基于sobdd）操纵切换功能的库。 有一个用于小型bdd的GUI，您可以在其中查看bdd的工作方式（用于教学目的）。