Links for pysatl-criterion