MiniZinc Server
This is a REST server based on Express and OpenAPI providing an unified access to minizinc. Best to be used with the RESTMiniZinc helper class.
Usage
npm i minizinc-server
npx minizinc-server --port 5000
// access localhost:5000/api-docs for Swagger UI // example client -> public/index.js
Development Environment
Installation
git clone https://gitlab.com/minizinc/minizinc-webide.gitcd minizincnpm installBuild distribution packages
npm run dist