ocaml-pubgrub by ryan.freumh.org · Tangled

ryan.freumh.org / ocaml-pubgrub

An implementation of the PubGrub version solving algorithm in OCaml.

OCaml 99%

<1%

Dune <1%

pubgrub-solver.md

rename the versions and dependencies labels to vers and deps

f921af53 Ryan Gibb · 3w ago

name module types in camel case, following the stdlib

3c18ad5a Ryan Gibb · 1mo ago

an unassigned name cannot contradict a negative term: fixes unconstrained ranges never propagating

d1557b6b Ryan Gibb · 1mo ago

refresh decision candidates incrementally after backtrack

aa4f9c66 Ryan Gibb · 1mo ago

find conflict satisfiers via the per-name index

88216c8f Ryan Gibb · 1mo ago

index assignments by name in partial_solution

1e514938 Ryan Gibb · 1mo ago

add backtracking and unsatisfiable benchmarks

07456c09 Ryan Gibb · 1mo ago

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

4097edee Ryan Gibb · 1mo ago

zero-pad bench versions to fix ordering

53774a6b Ryan Gibb · 1mo ago

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

dace8778 Ryan Gibb · 1mo ago

main · 3w ago Default

backup-fmt · 1mo ago

backup-main · 2mo ago

perf-reordered · 2mo ago

perf · 4mo ago