search

salmans / Razor

5 stars 0 forks source link

False "Incomplete" flag #69

Open salmans opened 9 years ago

salmans commented 9 years ago

On the following theory

exists x y. f(x) = y f(x) = y => g(y) = x g(x) = y => f(y) = x

  1. Razor needs a bound on search
  2. Although Razor returns a valid model for the theory, it flags the model as incomplete.
thedotmatrix commented 9 years ago

@salmans poking this as well, is this still an issue?