issues
search
usi-verification-and-security
/
golem
Solver for Constrained Horn Clauses
MIT License
34
stars
7
forks
source link
ITE support
#42
Closed
m4mbo
closed
1 year ago
m4mbo
commented
1 year ago
Added support for ite operator.
Added support for arithmetic operations with more than 2 args.