verification Directory Reference

Files
file	equivalence_check.hpp
	SAT-based equivalence check (respects garbage outputs and constant inputs)
file	verification.hpp
	General Verification type definitions.