binary decision diagram - How to successfully run cudd library in window -


is there binary decision diagram (bdd) available in windows.i tried run cudd in vc++6.0..which mention link http://web.cecs.pdx.edu/~alanmi/research/soft/softports.htm

but isn't working properly.i compiler error while running sample code

i compiled cudd windows, using mingw not microsoft environment. goal compiler since use dev-c ide.

i did first try using cygwin, no luck. second try msys, environment run unix commands come mingw windows. note cudd uses couple of posix libraries (such ). luckily used in 2 secondary functions: cpu stats , kind of fork didn't understood. since didn't need those, commented portion of code (in util/cpu_stats.c).

then need write makefile mingw in order link library! if need it, can send library compiled.


Comments

Popular posts from this blog

How to remove text and logo OR add Overflow on Android ActionBar using AppCompat on API 8? -

html - How to style widget with post count different than without post count -

url rewriting - How to redirect a http POST with urlrewritefilter -