#include "QuantifierElimination.h"
#include "Implementation.h"

Implementation witnessSelect(
	const BDD& spec,
	const std::vector<int>& outputIndex,
	const QEMethod& qe,
	bool defaultValue);