This repository is used to share source codes for the course of the "Problem Solving Methods" of the ILC master (Badji Mokhtar Annaba University). For the sake of the first series of exercises, you are kindly invited to install Maude system :
- On Ubuntu, just execute the command
apt install maude - On Windows, please visit this link and read the instructions.