Razor returns wrong answers on PUZ047+1 and PUZ047-1 from TPTP

salmans / Razor

5 stars 0 forks source link

Open salmans opened 9 years ago

thedotmatrix commented 9 years ago

@salmans i dont remember if you fixed this or not. is this still an issue?