Last Version

javasmt-solver-mathsat5 5.6.6-sosy1

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 [email protected] 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
Version	Version 5.6.6-sosy1
Type	Type dll
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 5.6.6-sosy1

Filename	Size
javasmt-solver-mathsat5-5.6.6-sosy1.pom	2 KB
javasmt-solver-mathsat5-5.6.6-sosy1-mpir.dll	572 KB
javasmt-solver-mathsat5-5.6.6-sosy1-mathsat5j.dll	107 KB
javasmt-solver-mathsat5-5.6.6-sosy1-mathsat.dll	4 MB
javasmt-solver-mathsat5-5.6.6-sosy1-libmathsat5j.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.