![]() ![]() ![]() If increasing this memory limit does not resolve the problem, then you will need to consider ways to reduce the size of your model. See the entry "CUDD memory" in the section " Configuring PRISM - Other Options" for details of this. ![]() The first thing to try in this case is to increase the amount of memory available to CUDD. Model construction in PRISM is performed using BDDs (binary decision diagrams) and MTBDDs (multi-terminal) BDDs which are implemented in the CUDD library. Then PRISM ran out of memory whilst trying to construct the model. ![]()
0 Comments
Leave a Reply. |