Top 1,000 Features Creators Events Podcasts Extensions Blog Explorer CSV Download

MiniZinc

< >

MiniZinc is an open source programming language created in 2012.

#571on PLDB 12Years Old
Download source code:
git clone https://github.com/MiniZinc/libminizinc

Try now: Riju

The MiniZinc compiler


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

View source

- Build the next great programming language About Resources Acknowledgements Part of the World Wide Scroll