MARABOU on Groover