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.