facile 1.1 math =0

A Functional Constraint Library
Maintained by: arved@FreeBSD.org
Port Added: 09 Feb 2008 21:58:34

---

---

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.

WWW:	http://www.recherche.enac.fr/log/facile/

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

Required To Build: lang/ocaml, devel/gmake
Required To Run: lang/ocaml

---

To install the port: cd /usr/ports/math/facile/ && make install clean
To add the package: pkg_add -r facile

---

Configuration Options

     No options to configure

---

Master Sites:

http://www.recherche.enac.fr/log/facile/distrib/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

Add facile, a Functional Constraint Library written in Ocaml

10 vulnerabilities affecting 29 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities