Links for binsolver