Links for cryptominisat