How to use Microsoft Z3 in Java?

Navigation
1

I'm doing a job where I need to integrate Microsoft Z3 into java

Does anyone know how to do this, type a step by step?

    
asked by anonymous 07.06.2015 / 16:38

1 answer

0

Both Scala and Java can be integrated with Z3 .

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

link

For Java, Leonardo Moura himself has this small step-by-step: link

I could not find any more than these.

    
07.06.2015 / 21:51
Tool to Measure Java Software Performance @ HTML.CheckBoxfor does not pass value to the model [closed]