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