SMT solver

Write your constraints and click solve.