src/autodetect.ml

src/autodetect.mli

src/language.ml

src/language.mli

src/main.ml

src/printers/marabou.ml

src/printers/pyrat.ml

src/transformations/native_nn_prover.ml

src/transformations/native_nn_prover.mli

src/transformations/vars_on_lhs.ml

src/verification.ml