code: public DRUPResult compute(final LNGVector<LNGIntVector> originalProblem, final LNGVector<LNGIntVector> proof) {
      final DRUPResult result = new DRUPResult();
      Solver s = new Solver(originalProblem, proof);
      boolean parseReturnValue = s.parse();
      if (!parseReturnValue) {
        result.trivialUnsat = true;
        result.unsatCore = new LNGVector<>();
      } else {
        result.trivialUnsat = false;
        result.unsatCore = s.verify();
      }
      return result;
    }
docs: Computes the DRUP result for a given problem in terms of original clauses and the generated proof.
  @param originalProblem the clauses of the original problem
  @param proof           the clauses of the proof
  @return the result of the DRUP execution from which the UNSAT core can be generated