The number of modeling tools supporting OCL is growing but still small. Of course, in all CASE tools UML models can be annotated with textual OCL expressions but this does not mean that the tool actually understand the expression, usually the expression is treated as any other kind of annotation written by the designer.
In the 2008 edition of the OCL workshop we organized a tool showcase where a number of (prototype) OCL tools were presented. You can also check the tool section in the OCL Portal and the OCL Eclipse plug-in., which is becoming the most popular OCL tool.
For a more deep survey of OCL tools (really old, as such, not useful for the list of tools per se but I still think it’s an interesting read to learn more about what I think OCL tools should provide) you can check: Jordi Cabot, Ernest Teniente:
Constraint Support in MDA Tools: A Survey. ECMDA-FA 2006: 256-267 ( free pdf)