I've been trying to use the --add-prover option of why3config but it does not seem to be working. It returns "Unknown prover id": can't I choose the id myself ?
[EDIT: As discussions shows, this has nothing to do with the following part of the message. It was just me wrongly using the tool: the issue is kept to add shortcut to add-prover]
It seems related to merge request !7 (merged) which has been idle for some time. I don't quite follow the discussion there but is there an implementation problem (or just timing/priority issue ?) ? Can I help if needed ? Do we want this branch to be merged even if it does not solve all the problems it wants to solve (as master also have some of these problems) ?