issues
search
epfl-lara
/
ScalaZ3
DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
122
stars
34
forks
source link
Add BigInt extraction and test for Int->BigInt conversion
#73
Open
romac
opened
5 years ago