The compile package
Compilation of NuSMV input language into BDD.
By Marco Roveri, Emanuele Olivetti
This package contains the compiler of NuSMV code into
BDD. It works on a flattened/instantiated structure. Performs the
checks on the parse tree and fills a layer (when requested) and
the symbol table.
Last updated on 2010/11/04 13h:34