symbolic Boolean algebra

[Chris Drake]

Hey all, I have a Python module that does symbolic Boolean algebra at: https://github.com/cjdrake/pyeda

It's just a hobby project for me to hack on EDA algorithms, and so far I have only gotten to expression representations. It might be interesting to sympy crowd b/c I chose not to automatically factor (reduce to literal, or, and) expressions, and I did some fun stuff with vectored expressions, like implementing decode and ripple carry add :).

Chris

[Aaron Meurer]

That's pretty cool.  We hope to eventually remove all automatic rewriting from SymPy's boolean algebra code as well.

Aaron Meurer

--
You received this message because you are subscribed to the Google Groups "sympy" group.
To view this discussion on the web visit https://groups.google.com/d/msg/sympy/-/rw7f_cFclFkJ.
To post to this group, send email to sy...@googlegroups.com.
To unsubscribe from this group, send email to sympy+un...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/sympy?hl=en.