issues
search
kino-mc
/
rsmt2
A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
Apache License 2.0
65
stars
14
forks
source link
Fixed doc page
#3
Closed
AdrienChampion
closed
7 years ago