Added MathBDD sample