Candidates for bindings-yices

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