stp / stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

Home Page:https://stp.github.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

stp/stp Stargazers