Package com.sun.electric.tool.ncc.result.equivalence