3.0.2 • Published 6 years ago
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
3.0.2
6 years ago
3.0.0
6 years ago
2.0.1-alpha.61
6 years ago
2.0.1-alpha.56
6 years ago
2.0.1-alpha.45
6 years ago
2.0.0
6 years ago
1.0.4-alpha.113
6 years ago
1.0.4-alpha.107
6 years ago
1.0.4-alpha.93
6 years ago
1.0.4-alpha.92
6 years ago
1.0.4-alpha.86
6 years ago
1.0.4-alpha.77
6 years ago
1.0.4-alpha.5
6 years ago
1.0.4-alpha.4
6 years ago
1.0.3
6 years ago
1.0.1
6 years ago