Skip to main content

Documentation Index

Fetch the complete documentation index at: https://mintlify.com/HarvardPL/AbcDatalog/llms.txt

Use this file to discover all available pages before exploring further.

AbcDatalog is published to Maven Central under the coordinates io.github.harvardpl:AbcDatalog. You can add it as a library dependency using Maven or Gradle, download a pre-built fat JAR for standalone use, or build from source. All methods require Java 21 or later.

​
Installation methods

Add the following dependency to your project’s pom.xml:
pom.xml
<dependency>
    <groupId>io.github.harvardpl</groupId>
    <artifactId>AbcDatalog</artifactId>
    <version>0.8.0</version>
</dependency>
Run mvn install to download the dependency and make it available to your project.

​
Requirements

  • Java 21+ — required for all installation methods.
  • Maven — required only when building from source or when using the Maven dependency. Not required to run the pre-built JAR.

​
Building from source

If you want to build AbcDatalog yourself, clone the repository and run Maven’s package goal from the project root: 
git clone https://github.com/HarvardPL/AbcDatalog.git
cd AbcDatalog
mvn package
This produces a fat JAR at: 
target/AbcDatalog-0.8.0-jar-with-dependencies.jar
The JAR includes all runtime dependencies and the GUI, identical to the pre-built artifact available on GitHub Releases.

Build docs developers (and LLMs) love

Get started for freeTalk to us