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

Citations by Year