3 ms·

There's also a tremendous Haskell binding, SBV (http://hackage.haskell.org/package/sbv http://hackage.haskell.org/package/sbv) though it's specialized to bitvec

by tel 13y ago

There'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).