Last Version

javasmt-solver-z3 4.8.17

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

Filename	Size
javasmt-solver-z3-4.8.17.pom	1 KB
javasmt-solver-z3-4.8.17-libz3java.so	292 KB
javasmt-solver-z3-4.8.17-libz3java.dylib	190 KB
javasmt-solver-z3-4.8.17-libz3java.dll	115 KB
javasmt-solver-z3-4.8.17-libz3.so	28 MB
javasmt-solver-z3-4.8.17-libz3.dylib	22 MB
javasmt-solver-z3-4.8.17-libz3.dll	15 MB
javasmt-solver-z3-4.8.17-com.microsoft.z3.jar	176 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.