Ccalgo
Ccproof
Cctac
G_congruence
Cc_plugin_mod