OBDD Hackaton 2019