Giters
uuverifiers
/
uppsat
An approximating SMT solver
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
8
Watchers:
6
Issues:
3
Forks:
4
uuverifiers/uppsat Issues
MathSat not avaiable as online solver
Updated
6 years ago
Chosen backend is stored as strings instead of a solver
Updated
6 years ago
water_pid_true-unreach-call.c_372.smt2 error
Updated
6 years ago