Constraint Based Verification | Desertcart Congo