---
name: facile
version: 1.1_2
origin: math/facile
comment: A Functional Constraint Library
arch: freebsd:9:x86:64
www: http://www.recherche.enac.fr/log/facile/
maintainer: arved@FreeBSD.org
prefix: /usr/local
licenselogic: single
licenses:
- LGPL21
flatsize: 1978536
desc: "FaCiLe is a constraint programming library on integer and integer set\nfinite
  domains written in OCaml. It offers all usual facilities to create\nand manipulate
  finite domain variables, arithmetic expressions and\nconstraints, built-in global
  constraints and search and optimization goals.\n\nFaCiLe allows as well to build
  easily user-defined constraints and goals,\nmaking pervasive use of OCaml higher-order
  functionals to provide a simple\nand flexible interface for the user.\n\nWWW:\thttp://www.recherche.enac.fr/log/facile/\n"
deps:
  xproto: {origin: x11/xproto, version: 7.0.24}
  renderproto: {origin: x11/renderproto, version: 0.11.1}
  libxcb: {origin: x11/libxcb, version: 1.9.1}
  libXrender: {origin: x11/libXrender, version: 0.9.8}
  libXdmcp: {origin: x11/libXdmcp, version: 1.1.1}
  libXau: {origin: x11/libXau, version: 1.0.8}
  libX11: {origin: x11/libX11, version: '1.6.1,1'}
  kbproto: {origin: x11/kbproto, version: 1.0.6}
  tk: {origin: x11-toolkits/tk85, version: 8.5.14_1}
  libXft: {origin: x11-fonts/libXft, version: 2.3.1}
  fontconfig: {origin: x11-fonts/fontconfig, version: '2.10.93,1'}
  libxml2: {origin: textproc/libxml2, version: 2.8.0_2}
  expat: {origin: textproc/expat2, version: 2.1.0}
  freetype2: {origin: print/freetype2, version: 2.4.12_1}
  tcl: {origin: lang/tcl85, version: 8.5.14_1}
  ocaml: {origin: lang/ocaml, version: 3.12.1_1}
  pkgconf: {origin: devel/pkgconf, version: 0.9.2_1}
  libpthread-stubs: {origin: devel/libpthread-stubs, version: 0.3_3}
  libiconv: {origin: converters/libiconv, version: 1.14_1}
categories:
- math
