GOS (Girona Optimization System) is a tool for modeling and solving CSPs using SAT.
Home Page:https://roger21gm.github.io/GOS
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool