Links for tiny-solver