Update AIMOS configuration to fit new behavior

See merge request laiser/caisar!141

Update alpha-beta-CROWN config for ACASXu  as done in upstream

See merge request laiser/caisar!131

Improve integration of maraboupy (Python interface to Marabou)

See merge request laiser/caisar!137

Michele Alberti authored 9 months ago and Aymeric Varasse committed 9 months ago

It may not be the case if the user has in the PATH a local version of Marabou.

Michele Alberti authored 9 months ago and Aymeric Varasse committed 9 months ago

Add also a test for it (copy the one for Marabou).

Add more models, specifications and tests

See merge request laiser/caisar!134

Recover changes in native_nn_prover from varasse experiments.

See merge request laiser/caisar!140