Skip to content

Do not elimintae variables with unsatistiable bounds - #862

Open
R-Peleg wants to merge 2 commits into
NeuralNetworkVerification:masterfrom
R-Peleg:unsat_variable_elimination
Open

Do not elimintae variables with unsatistiable bounds#862
R-Peleg wants to merge 2 commits into
NeuralNetworkVerification:masterfrom
R-Peleg:unsat_variable_elimination

Immediately throw InfeasibleQueryException in case of conflicting bounds

1536248
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs