文件名称：The Boolfreak Minimizer-开源
文件大小：29KB
文件格式：ZIP
更新时间：2024-05-17 17:22:50
开源软件
处理布尔函数，这些布尔函数既可以以0和1的列表形式提供，也可以以一阶逻辑（使用析取或合取范式）的公式提供。 内部使用Quine McCluskey算法。
【文件预览】：
boolfreak-v1.0
----gpl-2.0.txt(18KB)
----boolfreak.jar(58KB)
----readme(7KB)
The Boolfreak Minimizer-开源
【文件属性】：
【文件预览】：
boolfreak-v1.0
----gpl-2.0.txt(18KB)
----boolfreak.jar(58KB)
----readme(7KB)
【文件预览】：
boolfreak-v1.0
----gpl-2.0.txt(18KB)
----boolfreak.jar(58KB)
----readme(7KB)