Gophersat est un solveur de problèmes de satisfaisabilité booléenne (SAT) et d'optimisation de problèmes pseudo-booléens (PB) écrit en Go. Il est utilisé pour résoudre des problèmes NP-complets tels que le problème du voyageur de commerce, la vérification de modèles, la planification, et bien d'autres.