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 2009/01/30 15h:04