Pinned Loading
Repositories
Showing 10 of 14 repositories
- stp Public
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
- symfpu Public Forked from martin-cs/symfpu
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
- libbf Public
STP's mirror of Fabrice Bellard's LibBF (https://bellard.org/libbf/). master mirrors the upstream releases; stp carries STP's changes.
-
- benchmarks-data Public
Benchmark results, binaries and harness for STP. Published at https://stp.github.io/benchmarks-data/
-
-
Top languages
Loading…
Most used topics
Loading…