Marabou 2.0