facile 1.1_2 math =5

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

---

---

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

---

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.
Required To Build: lang/ocaml, devel/gmake
Required To Run: lang/ocaml

Required by:
for Build

science/kalzium

---

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/

- Bump portrevision of math/facile after the lang/ocaml udpate.

Suggested by:   makc

- Get Rid MD5 support

Instead of only 1 LGPL license there are two namely: the 2.1 and 3 version.
So make a LGPL21 and LGPL3 value for the license framework.

Replace the LGPL used in ports with LGPL21. (checked all consumers)

Obtained from:  http://www.gnu.org/licenses/ (Under License URL's)

Add LICENSE and LICENSE_FILE to my ports.

Bump PORTREVISION after latest ocaml update.

Approved by:    portmgr (itetcu)

Add facile, a Functional Constraint Library written in Ocaml

12 vulnerabilities affecting 17 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities