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


< >

MiniZinc is an open source programming language created in 2012.

#571on PLDB 12Years Old
Download source code:
git clone

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