ndrwnaguib

Thank you!

I have not used `naproche` before; thanks for the suggestion. I will try several propositions and see what do I get!

Yes; the goal is to finish the first volume. I am particularly looking forward to formalizing the well-known 1+1 proof.

You're not missing something. The project begun several months ago (I had to pause while I was writing my thesis). I resumed working on it recently.

This is a recent work on approximating solutions to the VRP and BPP by emulating the branching strategy of the Branch and Bound algorithm.