IDLReasoner

A Java tool for the automated analysis of IDL specifications using constraint programming.