[Lunar-commits] <moonbase-other> facile: Readding to moonbase.

[Dennis Veatch]

commit 35d28f89edb221809e552168c7b60ed61cdf9add
Author: Dennis Veatch <stumbles at lunar-linux.org>
Date: Tue, 10 Jul 2012 11:16:04 -0700
URL: https://github.com/lunar-linux/moonbase-other/commit/35d28f89edb221809e552168c7b60ed61cdf9add

facile: Readding to moonbase.
---
  science/facile/BUILD                                         +7/-0     
  science/facile/DEPENDS                                       +1/-0     
  science/facile/DETAILS                                       +28/-0    
  3 files changed, 36 insertions (+), 0 deletions (-)

--- /dev/null
+++ b/science/facile/BUILD
@@ -0,0 +1,7 @@
+(
+
+  ./configure --faciledir /usr/lib/ocaml/facile &&
+
+  default_make
+
+) > $C_FIFO 2>&1
--- /dev/null
+++ b/science/facile/DEPENDS
@@ -0,0 +1 @@
+depends  ocaml
--- /dev/null
+++ b/science/facile/DETAILS
@@ -0,0 +1,28 @@
+          MODULE=facile
+         VERSION=1.1
+          SOURCE=$MODULE-$VERSION.tar.gz
+      SOURCE_URL=http://pom.tls.cena.fr/facile/distrib/
+      SOURCE_VFY=sha1:31dea6e19542292c9ccb41515b0ec7ecd103bb80
+        WEB_SITE=http://pom.tls.cena.fr/facile/
+         ENTERED=20060827
+         UPDATED=20060827
+           SHORT="constraint programming library"
+
+cat << EOF
+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 (possibly non-linear), built-in global constraints
+(difference, cardinality, sorting etc.) and search and optimization
+goals.
+FaCiLe allows as well to build easily user-defined constraints and goals
+(including recursive ones), making pervasive use of OCaml higher-order
+functionals to provide a simple and flexible interface for the user. As
+FaCiLe is an OCaml library and not "yet another language", the user
+benefits from type inference and strong typing discipline, high level of
+abstraction, modules and objects system, as well as native code
+compilation efficiency, garbage collection and replay debugger, all
+features of OCaml (among many others) that allow to prototype and
+experiment quickly: modeling, data processing and interface are
+implemented with the same powerful and efficient language.
+EOF