Pour rappel, le service sera inaccessible ce lundi 6/05/24 midi pour raison de mise à jour.
2ème projet du cours de Structure des données et algorithmes.
https://www.ecampus.ulg.ac.be/bbcswebdav/pid-496339-dt-content-rid-8204198_1/xid-8204198_1
A symbolic executor
The evolving specification for Alethe, a flexible format for SMT proofs.