Erfasste Open-Source-Repos von stp, sortiert nach Sternen.
Simple Theorem Prover, ein effizienter SMT-Solver für Bitvektoren, Gleitkommazahlen und Arrays.
