PLDB Measures Concepts

MiniZinc

< >

home terminal code edit

MiniZinc is an open source programming language created in 2012.

Source code:

git clone https://github.com/MiniZinc/libminizinc

#1116on PLDB

12Years Old

Try now: Riju

The MiniZinc compiler

MiniZinc website
MiniZinc is developed on GitHub and has 393 stars
MiniZinc first developed in Monash University
MiniZinc on Twitter
Explore MiniZinc snippets on Rosetta Code
MiniZinc Ubuntu package
MiniZinc appears in the Quine Relay project

Example from Riju:

solve satisfy;

output ["Hello, world!\n"];

PLDB - Build the next great programming language · Search · Add Language · Features · Creators · Resources · About · Blog · Acknowledgements · Queries · Stats · Sponsor · Day 605 · feedback@pldb.io · Logout