dev.club — where best developers and top companies connect.

dev.club — where best developers and top companies connect.Invite only

Request invite

New Go Constraint Solvers 2026

GitHub Libraries → Go → Constraint Solvers
▼

crillab/gophersat 386 -2

added 1 year ago

This is Gophersat, a SAT and pseudo-boolean solver written purely in Go.

Go Constraint Solvers

Join libs.tech

...and unlock some superpowers

GitHub

We won't share your data with anyone else.