ALT repositories
Last updated at Sat, 06 Jun 2020 00:49:50 +0000 | SRPMs: 15384
en ru
SRPMs in branches
hide window
  • 1.1.3-alt4.M80P.1
Group :: System/Libraries
Source RPM: facile
Current version: 1.1-alt2
Built: about 9 years ago
Size: 99.5 KB
Repocop status: skip
Home page:

License: GPL
Summary: Constraint programming library

FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml.

Current maintainer: Sergey V Turchin

List of contributors: ACL: List of rpms provided by this srpm:
  • facile
Recent changes (last three changelog entries):

2011-12-28 Sergey V Turchin 1.1-alt2

    - rebuilt

2008-10-15 Sergey V Turchin 1.1-alt1

    - initial specfile
The Geyser project is based on code from Prometheus2.0, which had been made available under the MIT License.