Candidates for SmtLib

No candidates exist for SmtLib. Upload one for this or another package?