BSD Portsmath/facile 1.1.3_4 DragonFly
Functional Constraint Library
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- LGPL21
- Categories
- math
- Package size
- 607.2 KiB, 2531.0 KiB installed
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.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/facile | 1.1.3_4 |
| FreeBSD | math/facile | 1.1.3_4 |
| MidnightBSD | math/facile | 1.1.3 |
Install
Binary package:
pkg install facileFrom DPorts:
cd /usr/dports/math/facile && make install cleanDependencies
Run dependencies 1
No port depends on this one.