Recently updated contribs
Datalog
[31-Jan-2013, version
0.1,
Beta]
A small datalog fixpoint engine in OCaml, designed for incremental problems with lots of rules.
Older contribs
FaCiLe
[27-Sep-2004, version
1.1,
Stable]
A library for constraint programming on finite domains.