MiniZinc - Programming language

MiniZinc is an open source programming language created in 2012.

#576on PLDB

12Years Old

Download source code:

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

Try now: Riju

The MiniZinc compiler

MiniZinc website
MiniZinc is developed on GitHub and has 393 stars
MiniZinc first developed in Monash University
MiniZinc is written in C++ & reStructuredText & Python & CMake & JSON & SVG & HTML & Markdown & YAML & XML & C & CSS & Nix & JavaScript & Make & Tex & Bash & Ini
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"];