is not current version

Last Version 4.8.17 →

javasmt-solver-z3 4.8.14

SMT solver Z3 for use in JavaSMT

License	License MIT License
Categories	Categories ASM Application Layer Libs Bytecode Manipulation
GroupId	GroupId org.sosy-lab
ArtifactId	ArtifactId javasmt-solver-z3
Version	Version 4.8.14
Type	Type so
Description	Description javasmt-solver-z3 SMT solver Z3 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-z3 4.8.14

Filename	Size
javasmt-solver-z3-4.8.14.pom	1 KB
javasmt-solver-z3-4.8.14-libz3java.so	291 KB
javasmt-solver-z3-4.8.14-libz3java.dylib	189 KB
javasmt-solver-z3-4.8.14-libz3java.dll	113 KB
javasmt-solver-z3-4.8.14-libz3.so	28 MB
javasmt-solver-z3-4.8.14-libz3.dylib	22 MB
javasmt-solver-z3-4.8.14-libz3.dll	15 MB
javasmt-solver-z3-4.8.14-com.microsoft.z3.jar	175 KB
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.