checklist.day

Gophersat

JSON →
library 1.4.0 ·go
✓ verified Jun 17, 2026
utility

SAT solver and related tools implemented in Go.

Resources

docspkg.go.dev/github.com/crillab/gophersat#section-documentation ↗
githubgithub.com/crillab/gophersat ↗

API endpoints

full doc /v1/registry/crillab-gophersat
install /v1/registry/crillab-gophersat/install