Log inSign up
user avatar
CVC4
@CVC4Solver
CVC4 is an efficient open-source SMT solver. It is a joint project led by Stanford University and the University of Iowa.
cvc4.github.io
Joined February 2019
15
Following
179
Followers
RepliesMedia