Using JavaBDD in C#

Is there any tutorial for using JavaBDD in C#? I's days i'm looking for it开发者_StackOverflow中文版 with no chance :(

It's JavaBDD website: http://javabdd.sourceforge.net/

I know of none, unless there is, or you can create, an interface that is heterogenous (web service, for example, or wrapping with a COM wrapper?). A quick search shows other BDD libs out there. Have you considered seeing if any provides either a COM or native Win interface. Then you can either add a .NET wrapper (include a reference) or PInvoke the lib.