OBDD Pre-Con Packet 2024