Sign in
Join now
ocaml-pubgrub
ryan.freumh.org
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
An implementation of the PubGrub version solving algorithm in OCaml.
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
ocaml-pubgrub
/
lib
13 files
at
backup-main
Ryan Gibb
·
refresh decision candidates incrementally after backtrack
·
3mo ago
cfd8c133
dune
index decision candidates by version count
3mo ago
incompatibilities.ml
scan smallest bucket in Incompatibilities.mem
3mo ago
incompatibilities.mli
extract incompatibilities module
3mo ago
partial_solution.ml
refresh decision candidates incrementally after backtrack
3mo ago
partial_solution.mli
refresh decision candidates incrementally after backtrack
3mo ago
priority_queue.ml
index decision candidates by version count
3mo ago
priority_queue.mli
index decision candidates by version count
3mo ago
pubgrub.ml
refresh decision candidates incrementally after backtrack
3mo ago
pubgrub.mli
rename resolve to solve
5mo ago
ranges.ml
init
5mo ago
ranges.mli
init
5mo ago
types.ml
a negative term cannot satisfy a positive term: fixes unsound conflict-resolution generalisation
3mo ago
types.mli
seperate types.ml
5mo ago