Introducing Ability to Detect Non-Negativity Constraints + Some Helper Methods for Breaking Down Large Constraints Into Smaller Ones#20

Merged

kwesiRutledge merged 6 commits intomainfrom

kr/feature/non-negativity1

Aug 29, 2025

Commits on Aug 13, 2025

Small formatting concern
Kwesi Rutledge
committed
Fixed comments + added new method for detecting non-negativity constraints
Kwesi Rutledge
committed

Commits on Aug 23, 2025

Introduced a new method for deconstructing constraints into ScalarConstraint objects
Kwesi Rutledge
committed

Commits on Aug 29, 2025

Added more support for integer inputs to symbolic methods + added tests for IsNonnegativityConstraint method
Kwesi Rutledge
committed
Adding tests for constant_vector's new comparison inputs
Kwesi Rutledge
committed
Added test for corner case of non-negativity (power of 2 for single variable comparison)
Kwesi Rutledge
committed