1

I would like to ask how do I download a stable version of Z3 for using Java API? In the master branch in codeplex, the source does not contain directory src/api/java.

This is present in some branches like cade24 or rc and others. I do not have an idea which one to choose from. Could someone help?

Raj
  • 3,300
  • 8
  • 39
  • 67

1 Answers1

1

The best way at the moment is to use the unstable branch. There will be a new master release soon, which will contain exactly what is there for Java right now.

Christoph Wintersteiger
  • 8,234
  • 1
  • 16
  • 30