# Natural Language Toolkit: Inference
#
# Copyright (C) 2001-2008 NLTK Project
# Author: Dan Garrette <dhgarrette@gmail.com>
#              Ewan Klein <ewan@inf.ed.ac.uk>
#         
# URL: <http://www.nltk.org/>
# For license information, see LICENSE.TXT

"""
Classes and interfaces for theorem proving and model building.
"""

from api import *
from mace import *
from prover9 import *
from inference import *
from tableau import *
from discourse import *
