issues
search
usi-verification-and-security
/
golem
Solver for Constrained Horn Clauses
MIT License
34
stars
7
forks
source link
Alethe proof generation
#44
Closed
m4mbo
closed
11 months ago