1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-23 04:23:08 +00:00
freebsd-ports/math/facile/pkg-descr
Max Brazhnikov d02c2961d0 math/facile:
- add patch to fix build with ocaml-4
- modernize Makefile (USES, staging)
- bump PORTREVISION after ocaml update
- assign maintainership to kde@
2014-04-01 08:41:13 +00:00

11 lines
521 B
Plaintext

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/