4.0.0 at.logic.gapt gapt_3 jar General Architecture for Proof Theory https://logic.at/gapt/ 2.19.0 GPL-3.0 http://www.gnu.org/licenses/gpl-3.0.html repo gapt 2008 at.logic.gapt https://logic.at/gapt/ https://github.com/gapt/gapt scm:git:https://github.com/gapt/gapt.git scm:git:git@github.com:gapt/gapt.git fachammer Fabian Achammer https://fabian.achammer.dev fabian@achammer.dev jvierling Jannik Vierling https://jvierling.github.io/ jannik.vierling@gmail.com shetzl Stefan Hetzl http://dmg.tuwien.ac.at/hetzl/ stefan.hetzl@tuwien.ac.at gebner Gabriel Ebner https://gebner.org/ gebner@gebner.org org.scala-lang scala3-library_3 3.3.6 org.scala-lang.modules scala-parallel-collections_3 1.0.4 org.scala-lang.modules scala-parser-combinators_3 2.1.1 org.parboiled parboiled_3 2.4.0 com.lihaoyi fastparse_3 3.0.2 com.lihaoyi sourcecode_3 0.4.2 org.typelevel cats-free_3 2.7.0 org.scala-lang.modules scala-xml_3 2.1.0 org.apache.commons commons-lang3 3.12.0 com.lihaoyi os-lib_3 0.9.3 com.lihaoyi pprint_3 0.9.0 de.uni-freiburg.informatik.ultimate smtinterpol 2.5 com.github.scopt scopt_3 4.0.1 org.ow2.sat4j org.ow2.sat4j.core 2.3.6 org.ow2.sat4j org.ow2.sat4j.maxsat 2.3.6 org.scala-lang.modules scala-swing_3 3.0.0 com.itextpdf itextpdf 5.5.13.3 org.scilab.forge jlatexmath 1.0.7 org.json4s json4s-native_3 4.0.5 io.circe circe-core_3 0.14.6 io.circe circe-generic_3 0.14.6 io.circe circe-parser_3 0.14.6