How to use Microsoft Z3 in java?

Question

I’m doing a job where I need to integrate the Z3 from Microsoft to java

Does anyone know how to do that, like step by step?

Answer 1

So much Scala how much Java can be integrated with Z3.

Recalling that Scala is one of the languages that run on Java Virtual Machine

http://lara.epfl.ch/w/ScalaZ3

For Java, Leonardo Moura himself has this small step-by-step: https://leodemoura.github.io/blog/2012/12/10/z3-for-java.html

I couldn’t find more than that.