A Logical Programming approach to find the choconours thief.
JeBif - Fêtes de la Sciences 2023 - Vulgarization Activity.
-
Install clingo ^[see https://potassco.org/] Answer Set Programming solver.
-
Clone this repository.
-
Run Clingo:
clingo -n 0 chocosolve.lp