基尼 swMATH ID: 16095 软件作者： 斯科特·科顿 描述： Gini是用Go for the Go编程语言编写的SAT解算器。Gini在垃圾收集语言中解决了有效的布尔约束传播问题，使其能够与C/C++中的类比竞争，并且往往表现得更好。Gini提供了一个基于CDCL的解算器及其上的一些并发实用程序。此外，Gini定义并提供了压缩增量sat协议（CRISP）的参考实现，该协议允许通过线进行相关增量sat问题的通信，并可扩展以解决相关问题，如子句共享。 主页： http://github.com/IRIFrance/gini 依赖项： go编译器 关键词： 坐;布尔建模;go编程语言;CRISP公司;SAT解算器 相关软件： 引用于： 1文件 2位作者引用 1 吕克·缪森斯 1 弗隆，法布里奇 连载1篇 1 流体力学杂志 在2个字段中引用 1 流体力学（76-XX） 1 地球物理学（86-XX） 按年份列出的引文