minizinc-server
v3.0.2
Published
MiniZinc Server =============== [![License: MIT][mit-image]][mit-url] [![NPM version][npm-image]][npm-url]
Downloads
18
Readme
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