diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-03-10 22:42:49 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-10 22:42:49 -0700 |
commit | ad2fc7c63e8f9d91ff0b750207fdae5fd029134b (patch) | |
tree | faf75906635adc4abfe642a6f8c0900fe921ab53 /src/proof | |
parent | 6a2619c8c14e138b0ce4fdfe59e06dbcde2f61c7 (diff) |
bv-gauss-elim: Fix handling of inconsistent case. (#4027)
This fixes the case when all rows are inconsistent.
Fixes #3999.
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions