GitHub repository: DavidPerezSanchez/GOS
Primary language: C++
Description: GOS (Girona Optimization System) is a tool for modeling and solving CSPs using SAT.