javasmt-solver-mathsat5

Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT

License	License Apache License, Version 2.0 MathSAT5 is copyrighted 2009-2020 by Fondazione Bruno Kessler, Trento, Italy, University of Trento, Italy, and others. All rights reserved. MathSAT5 is available for research and evaluation purposes only. It can not be used in a commercial environment, particularly as part of a commercial product, without written permission. MathSAT5 is provided as is, without any warranty. Please write to mathsat@fbk.eu for additional questions regarding licensing MathSAT5 or obtaining more up-to-date versions. MPIR is licensed LGPL v3+
Categories	Categories ASM Application Layer Libs Bytecode Manipulation
GroupId	GroupId org.sosy-lab
ArtifactId	ArtifactId javasmt-solver-mathsat5
Last Version	Last Version 5.6.6-sosy1
Release Date	Release Date Mar 13, 2022
Type	Type so
Description	Description javasmt-solver-mathsat5 Recompiled Version of the SMT solver Mathsat5 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-mathsat5

Filename	Size
javasmt-solver-mathsat5-5.6.6-sosy1.pom
javasmt-solver-mathsat5-5.6.6-sosy1.so	7 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
5.6.6-sosy1 Mar 13, 2022
5.6.6-sosy0 Jan 28, 2022
5.6.6 Jun 6, 2021
5.6.5 Dec 29, 2020