My models is inefficient and taking too long to find valid solutions so I think knowing how many times the constraints are being broken would be useful for test
My constraint problem has become too complex, and I'm looking to know if the Choco-Solver framework which I'm using to model and solve the problem supports a pa