Package 'snakes.utils' - SNAKES

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