PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

MiniZinc

MiniZinc

< >

MiniZinc is a programming language created in 2012.

#1221on PLDB 10Years Old 596Users
1Books 0Papers

Try now: Riju

The MiniZinc compiler


Example from Riju:
solve satisfy; output ["Hello, world!\n"];

Books about MiniZinc from ISBNdb

title authors year publisher
Building Decision Support Systems: Using Minizinc Wallace, Mark 2020 Springer
ren-notation.html 路 minizinc.html 路 mdx-lang.html

View source

PLDB - Build the next great programming language 路 v2022 Day 94 Docs Build Acknowledgements Traffic Today Traffic Trends Mirrors GitHub feedback@pldb.com