4 ms·
It's worth noting that there are excellent Python bindings to Z3. http://rise4fun.com/z3py/tutorial http://rise4fun.com/z3py/tutorial
by freyrs3 13y ago
It's worth noting that there are excellent Python bindings to Z3. http://rise4fun.com/z3py/tutorial http://rise4fun.com/z3py/tutorial
- tel 13y agoThere's also a tremendous Haskell binding, SBV (http://hackage.haskell.org/package/sbv http://hackage.haskell.org/package/sbv) though it's specialized to bitvector theory.
- psuter 13y ago...and for Scala: https://github.com/epfl-lara/ScalaZ3 https://github.com/epfl-lara/ScalaZ3 (/ shameless plug).