In page 9 (16 in the PDF) of [Final report][1] of [European project IST-1999-12324 (NESSIE)][2], it is mentioned that:

> The NESSIE project is also developing a new generic tool to analyze block
ciphers with differential [78] and linear cryptanalysis [422]. **This tool is based on
a general description language for block ciphers**.

- Is this "description language" publicly available?  
- Is there any other general description language for block ciphers or stream ciphers?
- Is This tool publicly available?

  [1]: https://www.cosic.esat.kuleuven.be/nessie/Bookv015.pdf
  [2]: https://www.cosic.esat.kuleuven.be/nessie/