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