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: <>
(for Scala, though, which is a JVM language). Here are some examples:

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