GitHub repository: sdboyer/vsolver
Primary language: Go
Description: SAT solver/engine for Go package management