[YICES-HELP] Yices:yicesl_inconsistent (yicesl_context ctx)
Christoph.Rungg at student.uibk.ac.at
Sat Jun 28 03:16:12 PDT 2008
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!
More information about the YICES-HELP