Here you find a list of UML and MDE tools in alphabetic order that provide OCL support by different manner and power (parsing, static checking, evaluation, code generation, ... ). Note that many UML tools provide only an OCL constraint specification feature. But OCL expressions should be at least able to be parsed. Otherwise this tool is not worth to be called as a  "tool with OCL support".

An overview about UML tools can be found at umltools.freebase.com

Please let me know if you know further modeling tools with OCL and/or write own OCL Portal entries with more detailed information about OCL tools. 

• Arcstyler by Interactive Objects 
• ArgoUML (Open Source)
• Borland Together
  
• Eclipse Model Development Tools (MDT)
  
• ECO for Visual Studio by CapableObjects
  
• Enterprise Architect by Sparx Systems 
• Fujaba  (Open Source)
  
• Innovator by MID
• Magic Draw UML by NoMagic
• Oclarity for Rational Rose
  
• Papyrus UML (Open Source)
• TOPCASED (Open Source)