Description
Adds Java bindings or support files for using the Z3 theorem prover from Java applications. It is useful for developers building verification, constraint-solving, analysis, or research tools on the JVM.
It is not a separate graphical application. Correctness still depends on how the Java program models the problem and interprets solver results.