Added __nonzero__ and __bool__ functions to Python Z3 ASTs to enable use of Python lists (and similar).
Added __nonzero__ and __bool__ functions to Python Z3 ASTs to enable use of Python lists (and similar).

Thanks to Vlad Shcherbina for the recommendation (see http://stackoverflow.com/questions/37669576/converting-z3-cnf-formula-into-list-of-lists-representation-using-z3py/37679447?noredirect=1#comment62859886_37679447)!

kyledewey/z3,kyledewey/z3,kyledewey/z3,kyledewey/z3,kyledewey/z3,kyledewey/z3