JarCasting
JarCasting JarCasting

javasmt-yices2

JavaSMT bindings for the SMT solver Yices

License

License
Categories

Categories

ASM Application Layer Libs Bytecode Manipulation
GroupId

GroupId

org.sosy-lab
ArtifactId

ArtifactId

javasmt-yices2
Last Version

Last Version

3.12.0
Release Date

Release Date
Type

Type

jar
Description

Description

javasmt-yices2
JavaSMT bindings for the SMT solver Yices
Project URL

Project URL

https://github.com/sosy-lab/java-smt
Project Organization

Project Organization

Software Systems Lab
Source Code Management

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
Browse

How to add to project

<!-- 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>
// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-yices2/
implementation 'org.sosy-lab:javasmt-yices2:3.12.0'
// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-yices2/
implementation ("org.sosy-lab:javasmt-yices2:3.12.0")
'org.sosy-lab:javasmt-yices2:jar:3.12.0'
<dependency org="org.sosy-lab" name="javasmt-yices2" rev="3.12.0">
  <artifact name="javasmt-yices2" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.sosy-lab', module='javasmt-yices2', version='3.12.0')
)
libraryDependencies += "org.sosy-lab" % "javasmt-yices2" % "3.12.0"
[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
3.10.0
3.6.0-27-g42532e0b