Integrated with Quick BDD.