javasmt-solver-boolector

SMT solver Boolector 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-boolector
Last Version	Last Version 3.2.2-gcc3a7091
Release Date	Release Date Dec 12, 2021
Type	Type so
Description	Description javasmt-solver-boolector SMT solver Boolector 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-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
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.

org.sosy-lab

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