Re: [isabelle] How to invoke Z3 from Isabelle



> If that is not what you want to do, you might want to have a look into
> JNI [1] to build an interface between Z3's C-API and Java.

... which has already been done: <https://github.com/psuter/ScalaZ3/>
(for Scala, though, which is a JVM language). Here are some examples:
<http://lara.epfl.ch/w/jniz3-scala-examples>.






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.