https://backtracking.github.io/bheap https://github.com/backtracking/bheap/issues backtracking/bheap Jean-Christophe Filliâtre Jean-Christophe.Filliatre@lri.fr