🧮 Constraint SMTSpecificZ3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning