Links for pysimplesat