javasmt-solver-yices2

SMT solver Yices for use in JavaSMT

License

License

Categories

Categories

ASM Application Layer Libs Bytecode Manipulation
GroupId

GroupId

org.sosy-lab
ArtifactId

ArtifactId

javasmt-solver-yices2
Last Version

Last Version

2.6.2-396-g194350c1
Release Date

Release Date

Type

Type

so
Description

Description

javasmt-solver-yices2
SMT solver Yices for use in JavaSMT
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-solver-yices2

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
2.6.2-396-g194350c1