package-calculus
The Package Calculus
Lean
ocaml-pubgrub
An implementation of the PubGrub version solving algorithm in OCaml.
OCaml