How to use Microsoft Z3 in java?

Question

Asked 9 years ago

Viewed 27 times

1

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?

This might help: https://github.com/Z3Prover/z3/tree/master/examples/java

– Bruno César

2015/06/07 at 15:33

1 answer

Browser other questions tagged java

You are not signed in. Login or sign up in order to post.

by Filipe Miranda • **3,138** points · Answer 1 · 2015-06-07T19:51:32+00:00

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

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.