7 lines
No EOL
310 B
Text
7 lines
No EOL
310 B
Text
MILNERS SCHEDULER - AN EXAMPLE OF BDDs USED FOR STATE SPACE CALCULATION
|
|
-----------------------------------------------------------------------
|
|
|
|
This program should illustrate how cumbersome it is to do manual
|
|
reference counting of the BDD nodes.
|
|
|
|
Please see further documentation in "../milner/doc.txt". |