Satisfiability related libraries in Java-开源

【文件属性】：

文件名称：Satisfiability related libraries in Java-开源

文件大小：239KB

文件格式：JAR

更新时间：2024-07-24 05:03:02

开源软件

该项目的目的是提供 SAT 求解器和相关产品，以便轻松嵌入 Java 软件中。 此处找到的软件是以前研究项目的一部分，这些项目不再处于开发阶段，但可以在此处使用，因为