Added safety user check for app termination while worker thread is still running.
Added CUDD dependency.
Added deployment information regarding needed DLLs.