Candidates for yices-painless

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