Rule Violation Score Measures Logical Constraint Compliance in ML Models | HACKOBAR_