Aiger format based safety specifications Synthesizer using BDDs, classroom version