KBGT requires Java 16 to run owing to the TweetyProject dependency.

sbt is required to build the project.

To run unit tests, use

sbt test

To compile, from the main directory, run

sbt assembly

A jar file will be compiled to the target/scala-2.13 directory.

This can be run using

scala kbgt-assembly-*.0.jar --help