GitHub repository: Imvoo/MiniZinc-webui
Primary language: JavaScript
Created: 2016-08-25T09:19:48Z
Description: A web interface that connects to MiniZinc-server.