https://github.com/emilymclean/minizinc-web

Provides a web wrapper for a minizinc model & instance
https://github.com/emilymclean/minizinc-web

minizinc

Last synced: about 1 month ago
JSON representation

Provides a web wrapper for a minizinc model & instance

• Host: GitHub
• URL: https://github.com/emilymclean/minizinc-web
• Owner: emilymclean
• Created: 2024-03-10T10:09:17.000Z (10 months ago)
• Default Branch: develop
• Last Pushed: 2024-07-09T19:23:38.000Z (6 months ago)
• Last Synced: 2024-10-29T14:53:42.640Z (3 months ago)
• Topics: minizinc
• Language: Python
• Homepage:
• Size: 23.4 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# MiniZinc Web

*MiniZinc Web* provides a flask based HTTP wrapper around a MiniZinc instance and model.

## Usage

MiniZinc Web is primarily distributed as a Docker image, into which a model file should be mounted.

By default, the image loads `solver.mzn`, however different files can be loaded by setting the

`MINIZINC_FILE` environment variable. Likewise, the default solver is `coin-bc`, but an alternate

solver can be loaded by setting the `MINIZINC_SOLVER` environment variable. The flask server is

exposed through port 5000.

From there, the solver can be activated over HTTP by POSTing a JSON object to `/solve` in the form

```json

{

  "parameters": {

    

  }

}

```

which will return a response in the form of:

```json

{

  "status": ,

  "result": 

}

```