Improved numerical stability for sign constraints#677

Open

guykatzz wants to merge 1 commit intoNeuralNetworkVerification:masterfrom guykatzz:master

+75-7

Commits on Sep 13, 2023

improved bound tolerance: SignConstrant, RowBoundTightener
GuyKatzHuji
committed