roger21gm / GOS

GOS (Girona Optimization System) is a tool for modeling and solving CSPs using SAT.

https://roger21gm.github.io/GOS

Geek Repo

Github PK Tool