In page 16 of [Final report][1] of [European project IST-1999-12324(NESSIE)][2] 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/