facile - Functional Constraint Library

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Quarterly amd64
Package filename facile-1.1.3_1.txz
Package name facile
Package version 1.1.3
Package release 1
Package architecture amd64
Package type txz
Category math
Homepage http://www.recherche.enac.fr/log/facile/
License LGPL21
Maintainer kde@FreeBSD.org
Download size 530.05 KB
Installed size 2.37 MB
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/


Package Version Architecture Repository
facile-1.1.3_1.txz 1.1.3 i386 FreeBSD Ports Quarterly
facile-1.1.3_1.txz 1.1.3 i386 FreeBSD Ports Latest
facile-1.1.3_1.txz 1.1.3 amd64 FreeBSD Ports Latest
facile - - -


Name Value
ocaml = 4.05.0


Type URL
Mirror pkg.freebsd.org
Binary Package facile-1.1.3_1.txz
Source Package math/facile

Install Howto

Install facile txz package:

# pkg install facile

See Also

Package Description
facter-3.14.6_1.txz Cross-platform library for retrieving facts from OS
fairymax-5.0b.20160316.1_1.txz Chess engine for shatranj, courier chess, and others
fakebo- Fake BackOrifice client emulator
fakeident-2.7.txz Tool that replies with a standard answer to incoming identd requests
fakeroot-1.23.txz Simulate the root user behaviour
falconseye-1.9.3_11.txz NetHack derivative
falkon-3.1.0.txz Web browser based on Webengine and Qt Framework
fam-2.6.10_9.txz File alteration monitor
fancybox-3.5.7.txz JavaScript library for image/html/multimedia content display
fann-2.2.0.txz Free open source neural network library
fanout-0.6.1.txz Tool to run commands on multiple machines
fantasque-sans-mono-1.8.0.txz Programming font, designed with functionality in mind
fanwood-g20110526_1.txz Serif based on the work of a famous Czech-American type designer
fapg-0.42.txz Fast Audio Playlist Generator
farbfeld-4.txz Lossless image format which is easy to parse, pipe and compress