tree 629a04e743069eb32899757f262ff90996e7deff
parent 967c7b6936a66878919568b94643c942cc7de69e
author Florian Hahn <flo@fhahn.com> 1600162105 +0100
committer Florian Hahn <flo@fhahn.com> 1600168046 +0100

Recommit "[ConstraintSystem] Add helpers to deal with linear constraints."

This patch recommits "[ConstraintSystem] Add helpers to deal with linear constraints."
(it reverts the revert commit 8da6ae4ce1b686c5c13698e4c5ee937811fda6f7).

The reason for the revert was using __builtin_multiply_overflow, which
is not available for all compilers. The patch has been updated to use
MulOverflow from MathExtras.h