javasmt-yices2

JavaSMT bindings for the SMT solver Yices

License	Apache License, Version 2.0 GPL v3
Categories	ASM Application Layer Libs Bytecode Manipulation
GroupId	org.sosy-lab
ArtifactId	javasmt-yices2
Last Version	3.12.0
Release Date	Mar 13, 2022
Type	jar
Description	javasmt-yices2 JavaSMT bindings for the SMT solver Yices
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-yices2

Filename	Size
javasmt-yices2-3.12.0.pom	2 KB
javasmt-yices2-3.12.0-sources.jar	54 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.sosy-lab/javasmt-yices2/ -->
<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-yices2</artifactId>
    <version>3.12.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-yices2/
implementation 'org.sosy-lab:javasmt-yices2:3.12.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-yices2/
implementation ("org.sosy-lab:javasmt-yices2:3.12.0")

Apache Buildr

'org.sosy-lab:javasmt-yices2:jar:3.12.0'

Apache Ivy

<dependency org="org.sosy-lab" name="javasmt-yices2" rev="3.12.0">
  <artifact name="javasmt-yices2" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.sosy-lab', module='javasmt-yices2', version='3.12.0')
)

Scala SBT

libraryDependencies += "org.sosy-lab" % "javasmt-yices2" % "3.12.0"

Leiningen

[org.sosy-lab/javasmt-yices2 "3.12.0"]

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.

Versions

Version
3.12.0 Mar 13, 2022
3.10.0 Sep 9, 2021
3.6.0-27-g42532e0b Sep 8, 2021