irfansharif/solver

SAT solver library in Go; wraps around Google's Operational Research Tools

5 best points · 0 comments · 1 Hacker News post · 26 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: SAT Solver/Constraint Programming library in Go (5 points, 0 comments, by irfansharif, 2021-09-20)