Update implementation of disjunction constraints in maraboupy to be...#706

Merged

idan0610 merged 2 commits intoNeuralNetworkVerification:masterfrom idan0610:maraboupy_disjunction_bug

Jan 30, 2024

+23-10

Commits on Jan 25, 2024

Update implementation of disjunction constraints in maraboupy to be compatible with MatabouUtils.Equation
idan0610
committed
Update test for disjunction
idan0610
committed