Candidates for smtlib-backends-tests

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