Last Version

javasmt-solver-cvc4 1.8-prerelease-2020-06-24-g7825d8f28

SMT solver CVC4 for use in JavaSMT

License	License Modified BSD License
Categories	Categories ASM Application Layer Libs Bytecode Manipulation
GroupId	GroupId org.sosy-lab
ArtifactId	ArtifactId javasmt-solver-cvc4
Version	Version 1.8-prerelease-2020-06-24-g7825d8f28
Type	Type so
Description	Description javasmt-solver-cvc4 SMT solver CVC4 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-cvc4 1.8-prerelease-2020-06-24-g7825d8f28

Filename	Size
javasmt-solver-cvc4-1.8-prerelease-2020-06-24-g7825d8f28.pom	-1 bytes
javasmt-solver-cvc4-1.8-prerelease-2020-06-24-g7825d8f28-libcvc4parser.so	2 MB
javasmt-solver-cvc4-1.8-prerelease-2020-06-24-g7825d8f28-libcvc4jni.so	1 MB
javasmt-solver-cvc4-1.8-prerelease-2020-06-24-g7825d8f28-libcvc4.so	18 MB
javasmt-solver-cvc4-1.8-prerelease-2020-06-24-g7825d8f28-CVC4.jar	210 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.