- CP Solvers have bugs - All software has bugs - Sometimes that leads to the solver getting the wrong answer - Asked for evidence - Wrong solutions - False claim of optimality - False claim of unsatisfiability
- Testing: important, but will never demonstrate the absence of bugs - Formal verification: far away from being able to deal with CP