Rel
Relational programming for OCaml.
Rel_list
Relational lists