Links for monosat