co-LODEX: A Cooperative Expert System for Logic design