ostrich_2.13
Used in:
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<dependency>
<groupId>io.github.uuverifiers</groupId>
<artifactId>ostrich_2.13</artifactId>
<version>1.4.1</version>
</dependency><?xml version='1.0' encoding='UTF-8'?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://maven.apache.org/POM/4.0.0">
<modelVersion>4.0.0</modelVersion>
<groupId>io.github.uuverifiers</groupId>
<artifactId>ostrich_2.13</artifactId>
<packaging>jar</packaging>
<description>OSTRICH is an SMT solver for string constraints.</description>
<url>https://github.com/uuverifiers/ostrich</url>
<version>1.4.1</version>
<licenses>
<license>
<name>BSD-3-Clause</name>
<url>https://opensource.org/licenses/BSD-3-Clause</url>
<distribution>repo</distribution>
</license>
</licenses>
<name>ostrich</name>
<organization>
<name>io.github.uuverifiers</name>
<url>https://github.com/uuverifiers/ostrich</url>
</organization>
<scm>
<url>https://github.com/uuverifiers/ostrich</url>
<connection>scm:git@github.com/uuverifiers/ostrich.git</connection>
</scm>
<developers>
<developer>
<id>matthew.hague</id>
<name>Matthew Hague</name>
<url>https://www.cs.rhul.ac.uk/home/uxac009/</url>
<email>matthew.hague@rhul.ac.uk</email>
</developer>
<developer>
<id>p_ruemmer</id>
<name>Philipp Ruemmer</name>
<url>https://philipp.ruemmer.org</url>
<email>ph_r@gmx.net</email>
</developer>
<developer>
<id>riccardo.de.masellis</id>
<name>Riccardo De Masellis</name>
<url>http://demasellis.x10host.com/</url>
<email>demasellis@gmail.com</email>
</developer>
<developer>
<id>zhilei.han</id>
<name>Zhilei Han</name>
<url>https://www.linusboyle.cn/</url>
<email>hzl17@mails.tsinghua.edu.cn</email>
</developer>
<developer>
<id>oliver.markgraf</id>
<name>Oliver Markgraf</name>
<url>https://arg.cs.uni-kl.de/gruppe/markgraf/</url>
<email>markgraf@cs.uni-kl.de</email>
</developer>
<developer>
<id>denghang.hu</id>
<name>Denghang Hu</name>
<url>https://tis.ios.ac.cn/?page_id=2451</url>
<email>hudh@ios.ac.cn</email>
</developer>
</developers>
<dependencies>
<dependency>
<groupId>org.scala-lang</groupId>
<artifactId>scala-library</artifactId>
<version>2.13.15</version>
</dependency>
<dependency>
<groupId>io.github.uuverifiers</groupId>
<artifactId>ostrich-ecma2020-parser_2.13</artifactId>
<version>1.4.1</version>
</dependency>
<dependency>
<groupId>io.github.uuverifiers</groupId>
<artifactId>princess_2.13</artifactId>
<version>2024-11-08</version>
</dependency>
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.core</artifactId>
<version>2.3.1</version>
</dependency>
<dependency>
<groupId>org.scalacheck</groupId>
<artifactId>scalacheck_2.13</artifactId>
<version>1.14.0</version>
<scope>test</scope>
</dependency>
<dependency>
<groupId>dk.brics.automaton</groupId>
<artifactId>automaton</artifactId>
<version>1.11-8</version>
</dependency>
<dependency>
<groupId>com.lihaoyi</groupId>
<artifactId>fastparse_2.13</artifactId>
<version>3.0.2</version>
</dependency>
</dependencies>
</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