javasmt-solver-boolector

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
Last Version	3.2.2-gcc3a7091
Release Date	Dec 12, 2021
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

Filename	Size
javasmt-solver-boolector-3.2.2-gcc3a7091.pom	-1 bytes
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.

SoSy-Lab

Versions

Version
3.2.2-gcc3a7091 Dec 12, 2021
3.2.2-g0783aa84 Dec 7, 2021
3.2.2-g1a89c229 Jan 29, 2022
3.2.1-30-g95859db8 Jan 23, 2021