Port details on branch 2022Q3
facile Functional Constraint Library
1.1.3_4 math Σ 1.1.3_4Version of this port present on the latest quarterly branch. Maintainer: kde@FreeBSD.org Port Added: 2008-02-09 21:58:34Last Update: 2025-01-12 21:36:24Commit Hash: 9f1d9cc People watching this port, also watch: libgd , docbook-xml , gmake , png , unzip License: LGPL21WWW: http://www.recherche.enac.fr/log/facile/ Description: # 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. Manual pages: # FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist # USE_RC_SUBR (Service Scripts)
no SUBR information found for this port
Dependency lines :
To install the port : # cd /usr/ports/math/facile/ && make install clean To add the package , run one of these commands: pkg install math/facile pkg install facile PKGNAME: facile Flavors: # there is no flavor information for this port. distinfo: # TIMESTAMP = 1482002690
SHA256 (facile-1.1.3.tar.gz) = 5cb63ddb0dca8de12cd54dbf0de37e0fa8af54e7c1f15ee035a33ec219be8aec
SIZE (facile-1.1.3.tar.gz) = 99656
Packages (timestamps in pop-ups are UTC): #
Dependencies # NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered. Build dependencies: #
gmake>=4.4.1 : devel/gmake ocamlc : lang/ocaml
Runtime dependencies: #
ocamlc : lang/ocaml
Patch dependencies: #
ocamlc : lang/ocaml
This port is required by: # for Build #
science/kalzium
Deleted ports which required this port:
* - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later... Configuration Options : # No options to configure Options name : # math_facile USES: # gmake ocaml
pkg-message: # FreshPorts was unable to extract/find any pkg message Master Sites: #
