استفده از CUDD در محيط Visual Studio

راه‌كارهاي متعددي براي اجراي برنامه‌هاي تحت لينوكس در ويندوز وجود داره كه Cygwin تنها يكي از اين راه كار ها هست، براي اجراي CUDD هم در سيستم عامل ويندوز چندين راه‌كار ديگر علاوه بر استفاده از Cygwin وجود دارد كه بهترين اونها نسخه پورت شده CUDD داخل Visual Studio 6 هست.

اين ابزار كه در واقع همون CUDD هست توسط آقاي Alan Mishchenko تبديل به يك پروژه Visual Studio 6 C++ گشته كه به سادگي مي‌توان بدون نياز به محيط لينوكس، از پكيجهاي پياده سازي BDD‌ كه CUDD در اختيار قرار مي‌دهد استفاده كرد.

براي استفاده از اين ابزار كافي است آن را دانلود كرده و مطابق راهنما داخل سايت، تنظيمات لازم را محيط VS اعمال نماييد.

ضمنا ابزار BeDD داراي تابعي است كه به كمك الگوريتم ژنتيك بهترين ترتيب متغييرها را جهت حداقل سازي BDD‌ با دقت قابل تنظيم ، پيدا مي‌كند. از اين رو بدون در نظر گرفتن قابليت‌هاي بالقوه‌اي كه BeDD به واسطه بهره‌گيري از BeanShell داره، ميتواند ROBDD را بهينه نموده و ترسيم نمايد.

با تشكر از دكتر غزنوي جهت معرفي ابزارهاي فوق‌الذكر.

بخشي از توضيحات معرف قابليت هاي اين برنامه پورت شده:

This way of using CUDD on Windows has been extensively tested since June 2000. The Windows projects used about 75% of functionality of CUDD - including the basic manipulation of {A,B,Z}DDs, dynamic variable reordering, printing, visualization of graphs via DOT files, etc. - and no problems have been observed.