text: # -*- coding: utf-8 -*-
  from __future__ import absolute_import
  
  # FIXME: the entire discourse.doctest is skipped if Prover9/Mace4 is
  # not installed, but there are pure-python parts that don't need Prover9.
  def setup_module(module):
      from nose import SkipTest
      from cnltk.inference.mace import Mace
      try:
          m = Mace()
          m._find_binary('mace4')
      except LookupError:
          raise SkipTest("Mace4/Prover9 is not available so discourse.doctest is skipped")
  