Hidato-IDP

Hidato game solver in IDP

Installation

Run

Get the idp binaries:

wget https://dtai.cs.kuleuven.be/krr/files/releases/idp/idp-linux-latest.tar.gz
tar -xzf idp-linux-latest.tar.gz

To run the code simply execute the idp script:

idp3-3.7.1-Linux/usr/local/bin/idp src/hidato.idp

or via Python3:

python3 src/hidato.py

Interesting Links:

• IDP
• Hidato official website
• Hidato wikipedia