Public signup for this instance is disabled. Go to our Self serve sign up page to request 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