Introducing A Few More Methods for Handling Constraints#19

Merged

kwesiRutledge merged 10 commits intomainfrom

kr/feature/constraint-simplify-to-one-side1

Jul 24, 2025

Commits on Jul 20, 2025

Introduced a few new methods for constraints
Kwesi Rutledge
committed
Added a few more tests to increase coverage of the implication method for ScalarConstraint
Kwesi Rutledge
committed
Adding a test for VariablesInThisConstraint to increase coverage
Kwesi Rutledge
committed
Added more tests for coverage of new functions
Kwesi Rutledge
committed

Commits on Jul 22, 2025

Added more tests to increase coverage of the VectorConstraint methods
Kwesi Rutledge
committed

Commits on Jul 24, 2025

Fixed noticeable bug in ImpliesThisIsAlsoSatisfied
Kwesi Rutledge
committed
Added test for ImpliesThisIsAlsoSatisfied
Kwesi Rutledge
committed
Testing naive implication check in Implies This Is Also Satisfied for VectorConstraint
Kwesi Rutledge
committed
Added todos for other constraint types
Kwesi Rutledge
committed
Condensing some of the TODO sections
Kwesi Rutledge
committed