https://123dok.net/document/z1d650dz-disco-verification-division-of-input-space-into-convex-polytopes-for-neural-network-verification.html