/*
* This problem creates two goals forcing the value of a global variable to assume different values.
* Notice that the problem has no solution! A smart solver should not even start the search.
*/
real n;
predicate P(real x) {
x == n;
}
goal g0 = new P(x:0.0);
goal g1 = new P(x:1.0);