tree fbf0598f89e29e40a5fb9b3bee885f241cca501b
parent 632c8b4916e39cdcf1f6af8569ea433ac15416fe
author Thomas Lively <tlively@google.com> 1781131530 -0700
committer Thomas Lively <tlively@google.com> 1781131530 -0700

[WIP UNREVIEWED SLOP] Add a BoundedConstraint utility

It supports bounded conjunctions of <, <=, >, and >= relations with both arbitrary 64-bit integer constants and locals (represented with their indices). When the finite number of constraints would be exceeded, prioritize keeping the integer constraints and drop the extra variable constraints.