javasmt-solver-yices2

SMT solver Yices for use in JavaSMT

License	License Apache License, Version 2.0 GPL v3
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 Sep 8, 2021
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

Filename	Size
javasmt-solver-yices2-2.6.2-396-g194350c1.pom	2 KB
javasmt-solver-yices2-2.6.2-396-g194350c1-libyices2j.so	2 MB
Browse

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 Sep 8, 2021