Download all versions of gapt_3 JAR files with all dependencies
gapt_3 from group at.logic.gapt (version 2.17.0)
General Architecture for Proof Theory
Artifact gapt_3
Group at.logic.gapt
Version 2.17.0
Last update 27. September 2024
Tags: general proof theory architecture
Organization at.logic.gapt
URL https://logic.at/gapt/
License GPL-3.0
Dependencies amount 21
Dependencies scala3-library_3, scala-parallel-collections_3, scala-parser-combinators_3, parboiled_3, fastparse_3, sourcecode_3, cats-free_3, scala-xml_3, commons-lang3, os-lib_3, smtinterpol, scopt_3, org.ow2.sat4j.core, org.ow2.sat4j.maxsat, scala-swing_3, itextpdf, jlatexmath, json4s-native_3, circe-core_3, circe-generic_3, circe-parser_3,
There are maybe transitive dependencies!
Group at.logic.gapt
Version 2.17.0
Last update 27. September 2024
Tags: general proof theory architecture
Organization at.logic.gapt
URL https://logic.at/gapt/
License GPL-3.0
Dependencies amount 21
Dependencies scala3-library_3, scala-parallel-collections_3, scala-parser-combinators_3, parboiled_3, fastparse_3, sourcecode_3, cats-free_3, scala-xml_3, commons-lang3, os-lib_3, smtinterpol, scopt_3, org.ow2.sat4j.core, org.ow2.sat4j.maxsat, scala-swing_3, itextpdf, jlatexmath, json4s-native_3, circe-core_3, circe-generic_3, circe-parser_3,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)