- INRIA - IRILL
- Joined on
Jul 20, 2009
- ocaml-buddy 4 binding for the BDD buddy library
- pydot 2
- minisat-ocaml 1 OCaML bindings for the MiniSat satisfiability solver.
- ocaml-picosat 1 ocaml bindings for picosat
- opam 1 OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.