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 377

added 2 months 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.