JarCasting
JarCasting JarCasting

gapt

General Architecture for Proof Theory

License

License
GroupId

GroupId

at.logic.gapt
ArtifactId

ArtifactId

gapt_2.13
Last Version

Last Version

2.15.4
Release Date

Release Date
Type

Type

jar
Description

Description

gapt
General Architecture for Proof Theory
Project URL

Project URL

https://logic.at/gapt/
Project Organization

Project Organization

at.logic.gapt
Source Code Management

Source Code Management

https://github.com/gapt/gapt

Download gapt_2.13

Filename Size
gapt_2.13-2.15.4.pom
gapt_2.13-2.15.4.jar 8 MB
gapt_2.13-2.15.4-sources.jar 811 KB
gapt_2.13-2.15.4-javadoc.jar 11 MB
Browse

How to add to project

<!-- https://jarcasting.com/artifacts/at.logic.gapt/gapt_2.13/ -->
<dependency>
    <groupId>at.logic.gapt</groupId>
    <artifactId>gapt_2.13</artifactId>
    <version>2.15.4</version>
</dependency>
// https://jarcasting.com/artifacts/at.logic.gapt/gapt_2.13/
implementation 'at.logic.gapt:gapt_2.13:2.15.4'
// https://jarcasting.com/artifacts/at.logic.gapt/gapt_2.13/
implementation ("at.logic.gapt:gapt_2.13:2.15.4")
'at.logic.gapt:gapt_2.13:jar:2.15.4'
<dependency org="at.logic.gapt" name="gapt_2.13" rev="2.15.4">
  <artifact name="gapt_2.13" type="jar" />
</dependency>
@Grapes(
@Grab(group='at.logic.gapt', module='gapt_2.13', version='2.15.4')
)
libraryDependencies += "at.logic.gapt" % "gapt_2.13" % "2.15.4"
[at.logic.gapt/gapt_2.13 "2.15.4"]

Dependencies

compile (23)

Group / Artifact Type Version
org.scala-lang : scala-library jar 2.13.1
org.scala-lang.modules : scala-parallel-collections_2.13 jar 0.2.0
org.scala-lang.modules : scala-parser-combinators_2.13 jar 1.1.2
org.scala-lang : scala-reflect jar 2.13.1
org.parboiled : parboiled_2.13 jar 2.1.8
com.lihaoyi : fastparse_2.13 jar 2.1.3
com.lihaoyi : sourcecode_2.13 jar 0.1.7
org.typelevel : cats-free_2.13 jar 2.1.0
org.scala-lang.modules : scala-xml_2.13 jar 1.2.0
org.apache.commons : commons-lang3 jar 3.9
com.lihaoyi : ammonite-ops_2.13 jar 2.0.4
de.uni-freiburg.informatik.ultimate : smtinterpol jar 2.5
com.github.scopt : scopt_2.13 jar 3.7.1
org.ow2.sat4j : org.ow2.sat4j.core jar 2.3.5
org.ow2.sat4j : org.ow2.sat4j.maxsat jar 2.3.5
org.scala-lang.modules : scala-swing_2.13 jar 2.1.1
com.itextpdf : itextpdf jar 5.5.13.1
org.scilab.forge : jlatexmath jar 1.0.7
org.json4s : json4s-native_2.13 jar 3.6.7
io.circe : circe-core_2.13 jar 0.12.1
io.circe : circe-generic_2.13 jar 0.12.1
io.circe : circe-parser_2.13 jar 0.12.1
io.circe : circe-generic-extras_2.13 jar 0.12.1

Project Modules

There are no modules declared in this project.

Versions

Version
2.15.4