This project is a very basic ASP (answer set programming) solver written in Java developed during the AI lecture on summer 2015 at UniKo. It takes a grounded logical program and computes the answer ...
A Tutorial video about this "Sudoku Hello World" can be found here: https://www.youtube.com/watch?v=gM-HRMNOi4w You can run everything manually without docker, but ...