bv-gauss-elim: Fix handling of inconsistent case. (#4027)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 11 Mar 2020 05:42:49 +0000 (22:42 -0700)
committerGitHub <noreply@github.com>
Wed, 11 Mar 2020 05:42:49 +0000 (22:42 -0700)
commitad2fc7c63e8f9d91ff0b750207fdae5fd029134b
treefaf75906635adc4abfe642a6f8c0900fe921ab53
parent6a2619c8c14e138b0ce4fdfe59e06dbcde2f61c7
bv-gauss-elim: Fix handling of inconsistent case. (#4027)

This fixes the case when all rows are inconsistent.
Fixes #3999.
src/preprocessing/passes/bv_gauss.cpp