soot-dev: SAT solver problem

[Richard Stahl <richard.stahl@imec.be>]

Hello,

while trying to compile the development version i have got the following 
error:

    [apply] Attemptimg to extract unsat core.
    [apply] ZExtract: UnSAT Core Extractor
    [apply] Copyright Princeton University, 2003-2004. All Right Reserved.
    [apply] jeddc: SAT solver couldn't assign physical domains.
    [apply] 1 error.

BUILD FAILED
.../java/soot-dev/build.xml:386: apply returned: 1

I have downloaded zchaff from official page, version Chaff II.

What am I doing wrong? Has anybody had a similar problem? Please, help!


Thank you very much.

Kind regards,
Richard