Candidates for language-smtlib

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