github.com/irfansharif/solver (go): Package solver is a Go wrapper library for the CP-SAT Solver included as part Google's Operations Research tools.
Keywords: constraint-programming|optimization|sat-solver