openKylin z3 package

z3 4.8.7-ok1 source package in openKylin

z3 (4.8.7-ok1) yangtze; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800

Series	Pocket	Published	Component	Section

File	Size	SHA-256 Checksum
z3_4.8.7.orig.tar.gz	4.1 MiB	8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3
z3_4.8.7-ok1.debian.tar.xz	7.6 KiB	1098349356d72742bcc1b4542d5dc2fb9e31fd74e4949afdb6af521076eb60fd
z3_4.8.7-ok1.dsc	2.3 KiB	20ba07425b6653d307421f0d61a2043837baf420d41f01d1a9df060780dfc3ba

libz3-4: theorem prover from Microsoft Research - runtime libraries: Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
used to check the satisfiability of logical formulas over one or more
theories. Z3 offers a compelling match for software analysis and verification
tools, since several common software constructs map directly into supported
theories.
.
This package contains runtime libraries. You shouldn't have to install it
manually.

libz3-dev: theorem prover from Microsoft Research - development files: Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
used to check the satisfiability of logical formulas over one or more
theories. Z3 offers a compelling match for software analysis and verification
tools, since several common software constructs map directly into supported
theories.
.
This package can be used to invoke Z3 via its C++ API.

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.

libz3-jni: theorem prover from Microsoft Research - JNI library: Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package provides the JNI library to invoke Z3 via its Java API.

python3-z3: theorem prover from Microsoft Research - Python 3 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 Python 3 API.

z3: theorem prover from Microsoft Research: Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
used to check the satisfiability of logical formulas over one or more
theories. Z3 offers a compelling match for software analysis and verification
tools, since several common software constructs map directly into supported
theories.
.
The Z3 input format is an extension of the one defined by the SMT-LIB 2.0
standard.