Description

<dependency>
    <groupId>io.github.leoprover</groupId>
    <artifactId>scala-tptp-parser_2.13</artifactId>
    <version>1.7.4</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.leoprover</groupId>
    <artifactId>scala-tptp-parser_2.13</artifactId>
    <packaging>jar</packaging>
    <description>scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the parser for the different language of the TPTP, see http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.</description>
    <url>https://github.com/leoprover/scala-tptp-parser</url>
    <version>1.7.4</version>
    <licenses>
        <license>
            <name>MIT</name>
            <url>https://opensource.org/licenses/MIT</url>
            <distribution>repo</distribution>
        </license>
    </licenses>
    <name>scala-tptp-parser</name>
    <organization>
        <name>io.github.leoprover</name>
        <url>https://github.com/leoprover/scala-tptp-parser</url>
    </organization>
    <scm>
        <url>https://github.com/leoprover/scala-tptp-parser</url>
        <connection>scm:git:git@github.com:leoprover/scala-tptp-parser.git</connection>
    </scm>
    <developers>
        <developer>
            <id>lex-lex</id>
            <name>Alexander Steen</name>
            <url>https://www.alexandersteen.de/</url>
            <email>alx.steen@gmail.com</email>
        </developer>
    </developers>
    <dependencies>
        <dependency>
            <groupId>org.scala-lang</groupId>
            <artifactId>scala-library</artifactId>
            <version>2.13.18</version>
        </dependency>
        <dependency>
            <groupId>org.scalatest</groupId>
            <artifactId>scalatest_2.13</artifactId>
            <version>3.2.19</version>
            <scope>test</scope>
        </dependency>
    </dependencies>
</project>