{"added":null,"apiVersion":1,"behindSince":"2026-09-17","buildDepends":[],"categories":["lang","math"],"comment":"Constraint modeling language","compare":null,"dependentCount":null,"description":"MiniZinc is a free and open-source constraint modeling language.\n\nYou can use MiniZinc to model constraint satisfaction and optimization problems\nin a high-level, solver-independent way, taking advantage of a large library of\npre-defined constraints. Your model is then compiled into FlatZinc, a solver\ninput language that is understood by a wide range of solvers.\n\nMiniZinc is developed at Monash University in collaboration with Data61 Decision\nSciences and the University of Melbourne.","flavors":[],"html":"https://daemonports.org/dragonfly/math/minizinc/","kind":"port","lastUpdate":null,"license":["MPL20"],"maintainer":"yuri@FreeBSD.org","name":"minizinc","newest":false,"newestVersion":"2.10.1","noVulnData":false,"origin":"math/minizinc","otherSystems":[{"maintainer":"yuri@FreeBSD.org","newest":true,"origin":"math/minizinc","path":"/math/minizinc/","system":"FreeBSD","updated":"2026-09-17","version":"2.10.1"},{"maintainer":"yuri@FreeBSD.org","newest":true,"noVulnData":true,"origin":"math/minizinc","path":"","system":"HardenedBSD","version":"2.10.1"},{"maintainer":"yuri@FreeBSD.org","newest":true,"noVulnData":true,"origin":"math/minizinc","path":"","system":"GhostBSD","version":"2.10.1"}],"packages":null,"pkgName":"minizinc-2.8.7","related":["math/minizinc-ide"],"repository":"DPorts","requiredBy":["math/minizinc-ide"],"requiredByCount":1,"runDepends":["math/cbc","math/cgl","math/clp","math/coinutils","math/gecode","math/osi"],"status":null,"system":"dragonfly","systemLabel":"DragonFly","version":"2.8.7","versions":null,"vulnerabilities":null,"www":"https://www.minizinc.org/"}