Dépôts open source suivis de stp, triés par étoiles.
Simple Theorem Prover, un solveur SMT efficace pour les vecteurs de bits, les nombres à virgule flottante et les tableaux.
