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)
8 lines
474 B
Text
8 lines
474 B
Text
FaCiLe is a constraint programming library on integer and integer set
|
|
finite domains written in OCaml. It offers all usual facilities to create
|
|
and manipulate finite domain variables, arithmetic expressions and
|
|
constraints, built-in global constraints and search and optimization goals.
|
|
|
|
FaCiLe allows as well to build easily user-defined constraints and goals,
|
|
making pervasive use of OCaml higher-order functionals to provide a simple
|
|
and flexible interface for the user.
|