Repositorios de código abierto monitorizados de stp, ordenados por estrellas.
Simple Theorem Prover, un solver SMT eficiente para vectores de bits, punto flotante y arreglos.
