[Soot-list] Problems running Paddle

[Hamid A. Toussi]

On Thu, Nov 10, 2011 at 10:34 PM, Tillmann
<tirunkel at informatik.uni-bremen.de> wrote:
> Thanks Hamid,
>
> the main problem was, that i've referenced the false jedd-runtime.jar so
> the libraries couldn't be loaded. But now i faced two other problems
> with buddy and cudd. For the buddy-problem i will try to solve this by
> your description and report the result.
>
> Tillmann

Hello Tillmann,
Please also consider adding Ondrej's extensions (jbuddy.c and jbuddy.h
I think) to the instructions I have sent.