javasmt-solver-mathsat5
Used in:
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<dependency>
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-mathsat5</artifactId>
<version>5.6.11-sosy1</version>
</dependency><project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<!--
This file is part of JavaSMT,
an API wrapper for a collection of SMT solvers:
https://github.com/sosy-lab/java-smt
SPDX-FileCopyrightText: 2021 Dirk Beyer <https://www.sosy-lab.org>
SPDX-License-Identifier: Apache-2.0
-->
<modelVersion>4.0.0</modelVersion>
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-mathsat5</artifactId>
<packaging>pom</packaging>
<name>javasmt-solver-mathsat5</name>
<version>5.6.11-sosy1</version>
<description>Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT</description>
<url>https://github.com/sosy-lab/java-smt</url>
<licenses>
<license>
<name>Apache License, Version 2.0</name>
<url>http://www.apache.org/licenses/LICENSE-2.0.txt</url>
</license>
<license>
<name>
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.
</name>
<url>http://mathsat.fbk.eu/download.html</url>
</license>
<license>
<name>MPIR is licensed LGPL v3+</name>
<url>https://www.gnu.org/licenses/lgpl-3.0.en.html</url>
</license>
</licenses>
<organization>
<name>Software Systems Lab</name>
<url>https://www.sosy-lab.org/</url>
</organization>
<scm>
<url>https://github.com/sosy-lab/java-smt/</url>
<connection>scm:git:git://github.com/sosy-lab/java-smt.git</connection>
<developerConnection>scm:git:git@github.com:sosy-lab/java-smt.git</developerConnection>
</scm>
<developers>
<developer>
<name>Karlheinz Friedberger</name>
<email>kfriedberger@gmail.com</email>
<organization>Software Systems Lab</organization>
<url>https://www.sosy-lab.org/people/friedberger/</url>
<roles>
<role>project maintainer</role>
</roles>
</developer>
<developer>
<name>Dirk Beyer</name>
<email>dirk.beyer@sosy-lab.org</email>
<url>https://www.sosy-lab.org/people/beyer/</url>
<organization>Software Systems Lab</organization>
<organizationUrl>http://www.sosy-lab.org/</organizationUrl>
<roles>
<role>project manager</role>
</roles>
</developer>
</developers>
</project>
Open source consumption has exploded, with estimates placing this year’s downloads at over 6.6 trillion. This reliance on open source components, now making up to 90% of the modern software application, has ushered in both unprecedented innovation and complex challenges for software supply chains.
View the Report