Package facile: Information
Source package: facile
Version: 1.1.3-alt4.M80P.1
Build time: Jul 12, 2017, 01:40 PM in the task #185295
Category: System/Libraries
Report package bugHome page: http://www.recherche.enac.fr/log/facile/
License: GPL
Summary: Constraint programming library
Description:
FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml.
Maintainer: Anton Farygin
Last changed
July 11, 2017 Anton Farygin 1.1.3-alt4.M80P.1
- rebuild with ocaml 4.04.2
May 3, 2017 Anton Farygin 1.1.3-alt3.M80P.1
- rebuild with ocaml 4.04.1
April 6, 2017 Anton Farygin 1.1.3-alt2.M80P.1
- rebuild with new ocaml environment