bheap

Priority queues
Legend:
Library
Module
Module type
Parameter
Class
Class type
Manual

changes

  • change of API: switch a to minimum priority queue

  • improved memory footprint with internal shrinking

fixes

  • switch from obuild to dune and to opam 2.0

  • fixed memory leaks

added

  • add some quick tests

1.0.0

  • first opam package