aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/cc/ccalgo.mli
Commit message (Expand)AuthorAge
* Adding the congruence closure tactics (CC and CCsolve).Gravatar corbinea2002-10-01