ocaml-pubgrub by ryan.freumh.org · Tangled

An implementation of the PubGrub version solving algorithm in OCaml.

Files

pubgrub-solver.md

refresh decision candidates incrementally after backtrack

Ryan Gibb · 3mo ago

find conflict satisfiers via the per-name index

Ryan Gibb · 3mo ago

index assignments by name in partial_solution

Ryan Gibb · 3mo ago

add backtracking and unsatisfiable benchmarks

Ryan Gibb · 3mo ago

validate solutions, repeat runs, and add debug flag to bench

Ryan Gibb · 3mo ago

zero-pad bench versions to fix ordering

Ryan Gibb · 3mo ago

a negative term cannot satisfy a positive term: fixes unsound conflict-resolution generalisation

Ryan Gibb · 3mo ago

drop tautological empty-range negative terms so unsatisfiable dependencies terminate

Ryan Gibb · 3mo ago

add realistic benchmark

Ryan Gibb · 3mo ago

scan smallest bucket in Incompatibilities.mem

Ryan Gibb · 3mo ago

main · 4w ago Default

backup-fmt · 2mo ago

backup-main · 3mo ago

perf-reordered · 3mo ago

perf · 5mo ago

OCaml 99%
1%
Dune <1%