Candidates for smtlib-backends-process

No candidates exist for smtlib-backends-process. Upload one for this or another package?