【文件属性】：
文件名称：Paracooba:分布式资源弹性立方征服SAT解算器
文件大小：3.54MB
文件格式：ZIP
更新时间：2021-03-08 18:46:16
tcp network udp distributed-computing cubes
帕拉库巴
这是用于分布式并行SAT解决的模块化工具。 它通过计算节点网络自动管理带有提供的多维数据集的公式的求解过程。 它还具有一个集成的计算算法。 可以以“ iCNF”格式向此工具提供多维数据集（正常的DIMACS带有a 1 2 3 0形式附加的多维数据集）。 例如，这些多维数据集可以在之前生成。
用法
下面介绍这两种使用方案。 提供了其他命令行参数，请使用--help以获得更多信息。 某些选项已被重新制作，因此尚未产生任何效果。 二进制文件parac和paracs在功能上是相同的，但是paracs静态链接到所有模块，而parac在运行时加载模块。 如果您在查找所需模块时paracs问题，请使用paracs 。
公告间隔控制IPv4 UDP广播到本地子网的频率，以查找默认通信器模块的其他实例。 或者，可以直接指定其他遥控器。
在为求解器模块的主节点提供其他选项时，它将自动将提供的选项