bin/runMarabou.py · 7780a7deb1775edd00db2ed5cf161ee03b8752f4 · pub / caisar · GitLab

Snippets Groups Projects

10 months ago
7780a7de
[prover] Ensure maraboupy and Marabou binary have the same version. · 7780a7de
Michele Alberti authored 10 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.
```
7780a7de

History
[prover] Ensure maraboupy and Marabou binary have the same version.
Michele Alberti authored 10 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.
```