Download gapt_2.13 JAR file with all dependencies
gapt_2.13 from group at.logic.gapt (version 2.15.4)
General Architecture for Proof Theory
Artifact gapt_2.13
Group at.logic.gapt
Version 2.15.4
Last update 31. May 2022
Tags: general proof theory architecture
Organization at.logic.gapt
URL https://logic.at/gapt/
License GPL-3.0
Dependencies amount 23
Dependencies scala-library, scala-parallel-collections_2.13, scala-parser-combinators_2.13, scala-reflect, parboiled_2.13, fastparse_2.13, sourcecode_2.13, cats-free_2.13, scala-xml_2.13, commons-lang3, ammonite-ops_2.13, smtinterpol, scopt_2.13, org.ow2.sat4j.core, org.ow2.sat4j.maxsat, scala-swing_2.13, itextpdf, jlatexmath, json4s-native_2.13, circe-core_2.13, circe-generic_2.13, circe-parser_2.13, circe-generic-extras_2.13,
There are maybe transitive dependencies!
Group at.logic.gapt
Version 2.15.4
Last update 31. May 2022
Tags: general proof theory architecture
Organization at.logic.gapt
URL https://logic.at/gapt/
License GPL-3.0
Dependencies amount 23
Dependencies scala-library, scala-parallel-collections_2.13, scala-parser-combinators_2.13, scala-reflect, parboiled_2.13, fastparse_2.13, sourcecode_2.13, cats-free_2.13, scala-xml_2.13, commons-lang3, ammonite-ops_2.13, smtinterpol, scopt_2.13, org.ow2.sat4j.core, org.ow2.sat4j.maxsat, scala-swing_2.13, itextpdf, jlatexmath, json4s-native_2.13, circe-core_2.13, circe-generic_2.13, circe-parser_2.13, circe-generic-extras_2.13,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)