nuwa/production: links for picosat-cffi