SOURCE RECORD · github
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
Open canonical source ↗
Research paper status → · Book status →