This non-official repository contains Java bindings for Clingo-dl.

Clingo-dl is part of the Potassco project for Answer Set Programming (ASP). It extends ASP with constraints over difference logic and extends the ASP grounder and solver clingo.

Please consult the following resources for further information:

• Downloading source and binary releases
• Installation and software requirements
• Potassco clingo-dl page

This Java binding makes use of JClingo.

First, make sure to install the Clingo shared library (see the official Clingo repo).

• linux: libclingo.so (pre-compiled x86-64 provided)
• macos: libclingo.dylib (pre-compiled arm64 provided)
• windows: clingo.dll

Second, install the Clingo-dl shared library (see official Clingo-dl repo).

• linux: libclingo-dl.so (pre-compiled x86-64 provided)
• macos: libclingo-dl.dylib (pre-compiled arm64 provided)
• windows: clingo-dl.dll

You can then use this API via Maven:

<dependencies>
    <dependency>
        <groupId>org.potassco</groupId>
        <artifactId>clingo.dl</artifactId>
        <version>1.0-des-rc1</version>
    </dependency>
</dependencies>

<repositories>
    <repository>
        <id>des-releases-public</id>
        <name>denkbares Public Releases Repository</name>
        <url>https://repo.denkbares.com/releases-public/</url>
    </repository>
</repositories>

Please have a look at the demonstration directory (src/test/demo) .