Candidates for z3-encoding

No candidates exist for z3-encoding. Upload one for this or another package?