文件名称：pycosat:Python与picosat的绑定（SAT求解器）
文件大小：63KB
文件格式：ZIP
更新时间：2024-05-24 14:35:48
C
pycosat：与picosat的绑定（SAT求解器） 是Armin Biere用纯C语言编写的一种流行的解算器。此软件包在C级上提供了与picosat的高效Python绑定，即，在导入pycosat时，picosat解算器将成为Python进程本身的一部分。 为了易于部署，该项目中包含了picosat源（即picosat.c和picosat.h）。 这些文件是从picosat来源（picosat-965.tar.gz）中提取的。 用法 所述pycosat模块有两个功能solve和itersolve这两者，采取可迭代条款作为参数。 每个子句本身都表示为（非零）整数的可迭代数。 该函数solve返回以下之一： 一个解决方案（整数列表） 字符串“ UNSAT”（当条款不满足时） 字符串“ UNKNOWN”（当无法在传播限制内确定解决方案时） 函数itersolve返回解决方案上的迭