Links for picosat-cffi