Opened this issue 4 years ago · 1 comments
Currently the checker uses a PLUQ factorization which might not exist over the integers.
This issue #288 also.