A Lustre tools demo using Arduino and puzzles
- To generate C code for the arduino:
make puzzle1.arduino - To simulate with luciole:
make puzzle1.simu - To seek for a solution with lurette:
make puzzle1.test - To seek for a solution with lesar:
make puzzle1.no_sol