This package gathers various supplementary features of SNAKES:
- package
snakes.utils.abcd
features a compiler for the ABCD language, which is also available as a command-line tool - package
snakes.utils.ctlstar
is a compiler for CTL* formula - module
snakes.utils.apidoc
is used to extract SNAKES' API documentation and generate Markdown pages from it