math/facile 1.1.3_4 FreeBSD
Functional Constraint Library
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- LGPL21
- Categories
- math
- Package size
- 775.0 KiB, 2644.1 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 |
|---|---|---|
| FreeBSD | math/facile | 1.1.3_4 |
| DragonFly | math/facile | 1.1.3_4 |
| MidnightBSD | math/facile | 1.1.3 |
Install
Binary package:
pkg install facileFrom the ports tree:
cd /usr/ports/math/facile/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= facile>0:math/facilePackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 1.1.3_4 | 1.1.3_4 | 1.1.3_1 | 1.1.3_4 | 1.1.3_4 |
| FreeBSD:14:quarterly | 1.1.3_4 | 1.1.3_4 | n/a | 1.1.3_4 | 1.1.3_4 |
| FreeBSD:15:latest | 1.1.3_4 | 1.1.3_4 | n/a | 1.1.3_4 | 1.1.3_4 |
| FreeBSD:15:quarterly | 1.1.3_4 | 1.1.3_4 | n/a | n/a | n/a |
| FreeBSD:16:latest | 1.1.3_4 | 1.1.3_4 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
The Makefile names none itself; they come from USES and USE_*.
The full lists below include those, and their dependencies in turn.
Build dependencies 4
Run dependencies 1
Required by 1
Configuration
No options to configure.
- USES
- gmake ocaml
- Service scripts
- none
Files
pkg-plist 4
- lib/ocaml/facile/facile.a
- lib/ocaml/facile/facile.cmi
- lib/ocaml/facile/facile.cma
- lib/ocaml/facile/facile.cmxa
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| facile-1.1.3.tar.gz | 99656 | 5cb63ddb0dca8de12cd54dbf0de37e0fa8af54e7c1f15ee035a33ec219be8aec |
Master sites 1
- http://opti.recherche.enac.fr/facile/distrib/
Commit history 0
No commits in the history this site was built from.