Links for pumpkin-solver