javasmt-solver-mathsat5 5.6.6-sosy1

Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT

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 [e-mail] for additional questions regarding licensing MathSAT5 or obtaining more up-to-date versions. MPIR is licensed LGPL v3+
Categories	ASM Application Layer Libs Bytecode Manipulation
GroupId	org.sosy-lab
ArtifactId	javasmt-solver-mathsat5
Version	5.6.6-sosy1
Type	dll
Description	javasmt-solver-mathsat5 Recompiled Version of the SMT solver Mathsat5 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-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

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.