Candidates for yices-easy

No candidates exist for yices-easy. Upload one for this or another package?