NeuralNetworkVerification/Marabou

Generic CLI option for passing flags to external programs

wenkokke opened this issue · 1 comments

We should add a generic option to the Vehicle CLI for passing flags to external programs, probably in the style of GHC's options.

This was added on the wrong repository.