Pour rappel, le service sera inaccessible ce lundi 6/05/24 midi pour raison de mise à jour.
Test
GBOML: Graph-Based Optimization Modeling Language
The evolving specification for Alethe, a flexible format for SMT proofs.