Links for omnisolver-test-tools