gini swMATH ID: 16095 Software Authors: Scott Cotton Description: Gini is a SAT solver written in Go for the go programming language. Gini solves the problem of efficient Boolean constraint propagation in a garbage collected language, giving it the capability to compete with and often enough outperform analogs in C/C++. Gini provides a CDCL based solver and some concurrent utilities on top of it. Additionally, Gini defines and provides a reference implementation of the compressed incremental sat protocol (CRISP), which enables the communication of related incremental SAT problems over a wire and is extensible to address related problems such as clause sharing. Homepage: http://github.com/IRIFrance/gini Dependencies: go compiler Keywords: SAT; Boolean modelling; go programming language; CRISP; SAT solver Related Software: Cited in: 1 Publication Cited by 2 Authors 1 Mieussens, Luc 1 Veron, Fabrice Cited in 1 Serial 1 Journal of Fluid Mechanics Cited in 2 Fields 1 Fluid mechanics (76-XX) 1 Geophysics (86-XX) Citations by Year