Ubuntu

Binary package “libz3-java” in ubuntu lunar

  1. Lunar (23.04)
  2. libz3-java

theorem prover from Microsoft Research - java bindings

 Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3
 package for a detailed description.
 .
 This package can be used to invoke Z3 via its Java API.

Source package