is not current version

Last Version 4.8.17 →

javasmt-solver-z3 4.8.10

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.10
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.10

Filename	Size
javasmt-solver-z3-4.8.10.pom	-1 bytes
javasmt-solver-z3-4.8.10-libz3java.so	265 KB
javasmt-solver-z3-4.8.10-libz3java.dylib	187 KB
javasmt-solver-z3-4.8.10-libz3java.dll	110 KB
javasmt-solver-z3-4.8.10-libz3.so	26 MB
javasmt-solver-z3-4.8.10-libz3.dylib	22 MB
javasmt-solver-z3-4.8.10-libz3.dll	15 MB
javasmt-solver-z3-4.8.10-com.microsoft.z3.jar	172 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.