Pour rappel, le service sera inaccessible ce lundi 05/05/25 midi pour raison de mise à jour.
This clarifies that the tool is solver independent. veriT is now mentioned in the readme.
