minizinc-server v3.0.2

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.git
cd minizinc
npm install

Build distribution packages

npm run dist