The NuSMV Package Structure

• addons_core/compass
• compile
• example
• parser
• parser/ap
• parser/prob
• sigref
• be
• bmc
• sbmc
• cinit
• cmd
• compile
• symb_table
• type_checking
• type_checking/checkers
• dag
• dd
• enc
• base
• bdd
• be
• bool
• utils
• fsm
• bdd
• be
• sexp
• hrc
• dumpers
• ltl
• mc
• node
• normalizers
• printers
• opt
• parser
• idlist
• ord
• psl
• prop
• rbc
• clg
• sat
• solvers
• set
• simulate
• trace
• eval
• exec
• loaders
• plugins
• trans
• bdd
• generic
• utils
• structs