Java Class

OptimizeDecRefQueue

Fully qualified name:	com.microsoft.z3.OptimizeDecRefQueue
Containing JAR files:	[JAR] z3-4.8.14-v5.jar in io/github/p-org/solvers/z3/4.8.14-v5 [JAR] z3-turnkey-4.8.14.jar in io/github/tudo-aqua/z3-turnkey/4.8.14 [JAR] theta-cfa-cli-7.4.0-all.jar in hu/bme/mit/theta/theta-cfa-cli/7.4.0 [JAR] theta-sts-cli-7.4.0-all.jar in hu/bme/mit/theta/theta-sts-cli/7.4.0 [JAR] theta-xcfa-cli-7.4.0-all.jar in hu/bme/mit/theta/theta-xcfa-cli/7.4.0 [JAR] theta-xsts-cli-7.4.0-all.jar in hu/bme/mit/theta/theta-xsts-cli/7.4.0 [JAR] theta-xta-cli-7.4.0-all.jar in hu/bme/mit/theta/theta-xta-cli/7.4.0 [JAR] liquidjava-verifier-0.0.32.jar in io/github/liquid-java/liquidjava-verifier/0.0.32 [JAR] use-2023.10.jar in org/utbot/use/2023.10

Fully qualified name:

com.microsoft.z3.OptimizeDecRefQueue

Containing JAR files:

[JAR] z3-4.8.14-v5.jar in io/github/p-org/solvers/z3/4.8.14-v5
[JAR] z3-turnkey-4.8.14.jar in io/github/tudo-aqua/z3-turnkey/4.8.14
[JAR] theta-cfa-cli-7.4.0-all.jar in hu/bme/mit/theta/theta-cfa-cli/7.4.0
[JAR] theta-sts-cli-7.4.0-all.jar in hu/bme/mit/theta/theta-sts-cli/7.4.0
[JAR] theta-xcfa-cli-7.4.0-all.jar in hu/bme/mit/theta/theta-xcfa-cli/7.4.0
[JAR] theta-xsts-cli-7.4.0-all.jar in hu/bme/mit/theta/theta-xsts-cli/7.4.0
[JAR] theta-xta-cli-7.4.0-all.jar in hu/bme/mit/theta/theta-xta-cli/7.4.0
[JAR] liquidjava-verifier-0.0.32.jar in io/github/liquid-java/liquidjava-verifier/0.0.32
[JAR] use-2023.10.jar in org/utbot/use/2023.10