Add a way to select the config from the command line
We can now select from the command line, which strategy we want, if we want reduction or not, etc.
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
We can now select from the command line, which strategy we want, if we want reduction or not, etc.