mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-18 19:49:40 +00:00
fb16dfecae
Commit b7f05445c0
has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
10 lines
489 B
Plaintext
10 lines
489 B
Plaintext
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.
|