馃М Z3 ApplicationsSpecificCharacter Classification, SMT Integration, Automated Reasoning, Constraint Programming