/ACL-Project

Algorithms for Computational Logic Project

Primary LanguageJava

ACL-Project3

Algorithms for Computational Logic Project part 4

Description

The project was implemented in Java using Clingo as the solver. The solver runs iteratively.

Required Solver Versions:

  • Clingo 3.0.5
  • Clasp 3.3.3

To compile:

./compile.sh

To run (this assumes the binaries are in the PATH environment variable):

./proj4.sh inputFile > outputFile