Links for satif-core