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