ocaml-pubgrub
An implementation of the PubGrub version solving algorithm in OCaml.
Star
Fork
Watch

Commits on perf-reordered

Ryan Gibb
refresh decision candidates incrementally after backtrack backup-main
committed
Ryan Gibb
find conflict satisfiers via the per-name index
committed
Ryan Gibb
index assignments by name in partial_solution
committed
Ryan Gibb
add backtracking and unsatisfiable benchmarks
committed
Ryan Gibb
validate solutions, repeat runs, and add debug flag to bench
committed
Ryan Gibb
zero-pad bench versions to fix ordering
committed
Ryan Gibb
a negative term cannot satisfy a positive term: fixes unsound conflict-resolution generalisation
committed
Ryan Gibb
drop tautological empty-range negative terms so unsatisfiable dependencies terminate
committed
Ryan Gibb
add realistic benchmark
committed
Ryan Gibb
scan smallest bucket in Incompatibilities.mem
committed
Ryan Gibb
index decision candidates by version count
committed
Ryan Gibb
index undecided positive names in partial_solution
committed
Ryan Gibb
index incompatibilities by name
committed
Ryan Gibb
maintain incremental name index in partial_solution
committed
Ryan Gibb
extract incompatibilities module
committed
Ryan Gibb
extract partial_solution module
committed
Ryan Gibb
seperate types.ml
committed
Ryan Gibb
rename resolve to solve
committed
Ryan Gibb
add debug output to expect tests
committed
Ryan Gibb
add benchmarking
committed
Ryan Gibb
init
committed