Chris Drake

Have you tried the [to_ast](http://pyeda.readthedocs.io/en/latest/reference/boolalg/expr.html#pyeda.boolalg.expr.Expression.to_ast) method, and the [ast2expr](http://pyeda.readthedocs.io/en/latest/reference/boolalg/expr.html#pyeda.boolalg.expr.ast2expr) functions? It's not the same as pickling, but it does effectively serialize an expression. Probably the reason there's a problem here...

Any chance I can take a look at the code you're working on? I'm glad you found these bugs. What I am wondering is whether you see the same problems...

Having some trouble running the test. While attempting to run `make parser` to create `bspl_parser.py`, I got this: ``` Traceback (most recent call last): ... UnicodeEncodeError: 'ascii' codec can't encode...

You are correct that you need a CNF to use the fast SAT solvers. What I meant is that using `to_cnf` is generally slower than using a Tseytin transformation. However,...

Looks like this issue: http://docs.readthedocs.org/en/latest/faq.html#image-scaling-doesn-t-work-in-my-documentation

The problem is in `exprnodemodule.c`: ```c static const char *ASTOPS[] = { "const", "lit", "or", "and", "xor", "eq", "not", "impl", "ite", }; ``` The `to_ast` method is calling some C...

Also this bit: ```python def ast2expr(ast): """Convert an abstract syntax tree to an Expression.""" if ast[0] == 'const': return _CONSTS[ast[1]] elif ast[0] == 'var': return exprvar(ast[1], ast[2]) else: xs =...

Also there's the minor problem that the C variable type doesn't have a name, but the Python variable type does. Hrm, deeper and deeper.

Thanks for the bug report. I just moved, so I'm a little late looking at stuff right now.

I haven't worked on it in a while, and it's unlikely I will pick it back up again. If it has value to others, it needs a new maintainer. Regards,...