search

StevenMaio / rl-repair

Repository for python implementation of thesis work
1 stars 0 forks source link

LinearConstraintPropagator should handle other senses #1

Closed StevenMaio closed 1 year ago

StevenMaio commented 1 year ago

At the moment, LinearConstraintPropagator assumes that the constraint is a LE constraint. We need to handle the other types of constraints (we can also convert GE constraints into LE constraints)

StevenMaio commented 1 year ago

LinearConstraintPropagator can handle equality constraints. We also added a method that converts GE constraints into LE constraints. I think this is good enough.