Specifications with constant inputs falsely return unsat
#714
Labels
backend:verifiers
bug
Something isn't working
soundness
affects the soundness of the system
upstream
This is an upstream bug with Marabou unfortunately (NeuralNetworkVerification/Marabou#670)
The text was updated successfully, but these errors were encountered: