prover Directory Reference

Files
	bdd2dot.h
	Interface to class BDD2Dot.
	bdd_info.h
	Interface to class BDD_Info.
	bdd_path_eliminator.h
	BDD inconsistent path elimination using external SMT solvers.
	bdd_prover.h
	EQ-BDD based prover for mCRL2 boolean data expressions.
	bdd_simplifier.h
	Abstract interface for BDD simplifiers.
	formula_checker.h
	Interface to class Formula_Checker.
	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.