Links for icpy-solver