MiniZinc - Programming language

MiniZinc is an open source programming language created in 2012.

#554on PLDB

12Years Old

Download source code:

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

The MiniZinc compiler

Tags: programming language
MiniZinc is developed on GitHub and has 494 stars
Early development of MiniZinc happened 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
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"];