[klee-dev] Patches for Python 3 compatibility

[Daniel Liew]

On 27 July 2013 13:39, gwpublic at wp.pl <gwpublic at wp.pl> wrote:
> Great Patches, thank you !
> I use Arch as well and Python3 is also my default!

No problem. Arch is awesome and so is python3!


Hopefully the patches can be merged into the mainline (provided they
don't break anything). Would someone with commit access like to try
the patches and commit them?

Thanks,
Dan.