javasmt-solver-z3

SMT solver Z3 for use in JavaSMT

License	MIT License
Categories	ASM Application Layer Libs Bytecode Manipulation
GroupId	org.sosy-lab
ArtifactId	javasmt-solver-z3
Last Version	4.8.17
Release Date	May 10, 2022
Type	pom
Description	javasmt-solver-z3 SMT solver Z3 for use in JavaSMT
Project URL	https://github.com/sosy-lab/java-smt
Project Organization	Software Systems Lab
Source Code Management	https://github.com/sosy-lab/java-smt/

Download javasmt-solver-z3

Filename	Size
javasmt-solver-z3-4.8.17.pom
javasmt-solver-z3-4.8.17.so	4 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.sosy-lab/javasmt-solver-z3/ -->
<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-z3</artifactId>
    <version>4.8.17</version>
    <type>pom</type>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-solver-z3/
implementation 'org.sosy-lab:javasmt-solver-z3:4.8.17'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-solver-z3/
implementation ("org.sosy-lab:javasmt-solver-z3:4.8.17")

Apache Buildr

'org.sosy-lab:javasmt-solver-z3:pom:4.8.17'

Apache Ivy

<dependency org="org.sosy-lab" name="javasmt-solver-z3" rev="4.8.17">
  <artifact name="javasmt-solver-z3" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.sosy-lab', module='javasmt-solver-z3', version='4.8.17')
)

Scala SBT

libraryDependencies += "org.sosy-lab" % "javasmt-solver-z3" % "4.8.17"

Leiningen

[org.sosy-lab/javasmt-solver-z3 "4.8.17"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

Z3 Theorem Prover

Versions

Version
4.8.17 May 10, 2022
4.8.16 May 10, 2022
4.8.15 May 10, 2022
4.8.14 Jan 22, 2022
4.8.13 Jan 22, 2022
4.8.12 Jan 22, 2022
4.8.11 Jan 22, 2022
4.8.10 Jan 23, 2021
4.8.9-sosy1 Dec 31, 2020
z3-4.4.1-1558-gf96cfea Aug 16, 2016
z3-4.4.1-863-g96f6bf7-2 Mar 6, 2016
z3-4.4.1-788-g8df145d Mar 6, 2016