Method getReasonUnknown

src/api/java/Solver.java:387–391

A brief justification of why the last call to Check returned UNKNOWN.

()

     * {@code UNKNOWN}.
     **/
    public String getReasonUnknown()
    {
        return Native.solverGetReasonUnknown(getContext().nCtx(),
                getNativeObject());
    }

    /**
     * Retrieve the decision levels for each literal in the solver's trail after a {@code check} call.