Algorithms for Computational Logic Project part 4
The project was implemented in Java using Clingo as the solver. The solver runs iteratively.
- Clingo 3.0.5
- Clasp 3.3.3
./compile.sh
./proj4.sh inputFile > outputFile
Algorithms for Computational Logic Project part 4
The project was implemented in Java using Clingo as the solver. The solver runs iteratively.
./compile.sh
./proj4.sh inputFile > outputFile