Dépôts open source suivis de pysmt, triés par étoiles.
pySMT : Une bibliothèque pour la manipulation et la résolution de formules SMT
