[YICES-HELP] Yices:yicesl_inconsistent (yicesl_context ctx)

[Christoph Rungg]

Hello!

I'm currently implementig a java programm using yices versus jni. Now I have the
problem, that the function yicesl_inconsistent(ctx) gives me back zero, doesn't
matter if is sat or unsat. Is this the normal behavior? And is there any other
way to know directly if a formula is sat or unsat without reading this out from
the console or a file(I mean a direct retrun value)?
Would be grate if somebody could help me!

Thanks!