The MiniZinc icon represents a constraint programming language and solver developed by the University of Melbourne.
Usage, downloads, licensing, and more