prover Directory Reference

Files
	bdd2dot.h
	bdd_info.h
	bdd_path_eliminator.h
	BDD inconsistent path elimination using external SMT solvers.
	bdd_prover.h
	bdd_simplifier.h
	Abstract interface for BDD simplifiers.
	formula_checker.h
	induction.h
	Proving with induction on lists.
	info.h
	Interface to classes Info.
	manipulator.h
	Interface to classes Manipulator.
	smt_lib_solver.h
	Abstract interface for SMT solvers based on the SMT-LIB format.
	smt_solver.h
	Abstract interface for SMT solvers.
	solver_type.h
	Enumeration for the types of solvers.