Links for abuz-solver