'Call the ``boxer`` binary with the given input.
:param candc_out: str output from C&C parser
:return: stdout'

def _call_boxer(self, candc_out, verbose=False):

    f = None
    try:
        (fd, temp_filename) = tempfile.mkstemp(prefix=u'boxer-', suffix=u'.in', text=True)
        f = os.fdopen(fd, u'w')
        f.write(candc_out)
    finally:
        if f:
            f.close()
    args = [u'--box', u'false', u'--semantics', u'drs', u'--resolve', [u'false', u'true'][self._resolve], u'--elimeq', [u'false', u'true'][self._elimeq], u'--format', u'prolog', u'--instantiate', u'true', u'--input', temp_filename]
    stdout = self._call(None, self._boxer_bin, args, verbose)
    os.remove(temp_filename)
    return stdout
