GOS: A new declarative tool for modelling and solving CSPs to SAT

GitHub repository with source code: https://github.com/roger21gm/GOS
Contact information: roger21gm@gmail.com