lib · ocaml-pubgrub · Tangled

ryan.freumh.org / ocaml-pubgrub

An implementation of the PubGrub version solving algorithm in OCaml.

ocaml-pubgrub lib

13 files

Ryan Gibb · decide repeatedly conflicting names first, as uv does · 5d ago

index decision candidates by version count

incompatibilities.ml

merge dependents' incompatibilities, as pubgrub-rs does

incompatibilities.mli

merge dependents' incompatibilities, as pubgrub-rs does

partial_solution.ml

let the caller choose a decision's version with the partial solution in hand

partial_solution.mli

let the caller choose a decision's version with the partial solution in hand

priority_queue.ml

decide repeatedly conflicting names first, as uv does

priority_queue.mli

decide repeatedly conflicting names first, as uv does

decide repeatedly conflicting names first, as uv does

decide repeatedly conflicting names first, as uv does

binary-search a range's segments

a dependency incompatibility names only listed versions, as points unless ?dense spans them, so vers may grow between calls; solve states the contract

merge dependents' incompatibilities, as pubgrub-rs does

merge dependents' incompatibilities, as pubgrub-rs does