Anybody aware of anything like this in .NET? Similar to PyEDA from Python?

I'd settle for something nice in Java too. At least then I could IKVM it.

I need manipulation of boolean expression trees, conversion to/from BDDs, truth table generation (preferably with positional cube notation), and stuff.

This is for actual work, not school. =)

Haven't found anything that comes close to PyEDA though. And PyEDA won't run in IronPython due to Python3 deps and some C stuff they have going on inside.