Skip to content
Commit 8da6ae4c authored by Florian Hahn's avatar Florian Hahn
Browse files

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

This reverts commit 3eb141e5.

This uses __builtin_mul_overflow which is not available everywhere.
parent bbb6392c
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment