The Principal Dev – Masterclass for Tech Leads

The Principal Dev – Masterclass for Tech LeadsJuly 17-18

Join

Top Go Constraint Solvers 2025

GitHub Libraries → Go → Constraint Solvers
▼

crillab/gophersat 373

added 3 days 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.