javasmt-solver-mathsat5 javasmt-solver-mathsat5

Group	org.sosy-lab
描述	Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT
Packaging	pom
Size	2.91 KB
文件	pom jar
网址	https://github.com/sosy-lab/java-smt
发布时间	2022-07-03 03:27

dependencies

Group	Artifact	Version

developers

	Karlheinz Friedberger	Software Systems Lab
	Dirk Beyer	Software Systems Lab

licenses

Apache License, Version 2.0	http://www.apache.org/licenses/LICENSE-2.0.txt
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.	http://mathsat.fbk.eu/download.html
MPIR is licensed LGPL v3+	https://www.gnu.org/licenses/lgpl-3.0.en.html