Candidates for ll-picosat

No candidates exist for ll-picosat. Upload one for this or another package?