Public signup for this instance is disabled. Our Jira Guidelines page explains how to get an account.
We would like to cover more cases in expression simplification, such as:
x>5 and x is not null => x>5
x>5 and x is null => not satisfiable
x>5 and x<=5 => not satisfiable
Further extend simplify for reducing expressions