javasmt-solver-boolector 3.2.2-gcc3a7091

SMT solver Boolector for use in JavaSMT

License	MIT License
Categories	ASM Application Layer Libs Bytecode Manipulation
GroupId	org.sosy-lab
ArtifactId	javasmt-solver-boolector
Version	3.2.2-gcc3a7091
Type	so
Description	javasmt-solver-boolector SMT solver Boolector for use in JavaSMT
Project URL	https://github.com/sosy-lab/java-smt
Project Organization	Software Systems Lab
Source Code Management	https://github.com/sosy-lab/java-smt/

Download javasmt-solver-boolector 3.2.2-gcc3a7091

Filename	Size
javasmt-solver-boolector-3.2.2-gcc3a7091.pom	1 KB
javasmt-solver-boolector-3.2.2-gcc3a7091-libpicosat.so	82 KB
javasmt-solver-boolector-3.2.2-gcc3a7091-libminisat.so	106 KB
javasmt-solver-boolector-3.2.2-gcc3a7091-libboolector.so	3 MB

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.