Versions
- 1.1.4 (3)
- 1.1.3 (8)
- 1.1.1
- 1.1 (4)
Categories
- Development/OCaml
- System/Libraries (4)
- libdevel
- libs
- math
- misc
- universe/libdevel
Licenses
- GPL
- GPLv2+ (2)
- LGPL (2)
- LGPLv2
- lgpl2.1
Summaries
- A Functional Constraint Library (2)
- A functional constraint library
- Constraint programming library (5)
- Functional Constraint Library