{"name":"minizinc","portdir":"devel/minizinc","version":"2.9.5","license":"MPL-2","platforms":"darwin linux","epoch":0,"replaced_by":null,"homepage":"https://www.minizinc.org","description":"MiniZinc is a free and open-source constraint modeling language.","long_description":"MiniZinc is a free and open-source constraint modeling language. You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers. MiniZinc is developed at Monash University in collaboration with Data61 Decision Sciences and the University of Melbourne.","active":true,"categories":["devel"],"maintainers":[{"name":"herby.gillot","github":"herbygillot","ports_count":1045}],"variants":["debug","universal"],"dependencies":[{"type":"build","ports":["bison","cmake","clang-20"]},{"type":"lib","ports":["zlib"]}],"depends_on":[]}