Lien du rapport hébergé sur HackMD : https://hackmd.io/@Romane/ryn--SMKq
Pour résoudre un niveau avec la méthode ASPPLAN:
python3 helltaker_plan_asp.py path_to_file
Pour résoudre un niveau avec la méthode SATPLAN:
-
à l'aide du solver gophersat
python3 helltaker_plan_gophersat.py path_to_file
-
à l'aide du solver Glucose4 de pySAT
python3 helltaker_plan_pysat.py path_to_file