Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Gophersat | 353 | 1 | 17 | 2 months ago | 19 | November 24, 2023 | 8 | mit | Go | |
gophersat, a SAT solver in Go | ||||||||||
Gini | 125 | 3 | 3 years ago | 33 | August 26, 2021 | 5 | mit | Go | ||
A fast SAT solver | ||||||||||
Gini | 121 | 2 | 5 | 3 years ago | 23 | January 31, 2019 | 4 | mit | Go | |
A fast SAT solver | ||||||||||
Diff Sat | 56 | 3 months ago | mit | Scala | ||||||
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability |