Use MiniZinc in the browser or with NodeJS
Home Page:https://js.minizinc.dev
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool