2 commits

Author	SHA1	Message	Date
Simon Cruanes	4bc6c8a008	split into package core (no pack, 'CC' prefix, stable) ... and misc where oneshot ideas go	2014-05-16 20:58:28 +02:00
Simon Cruanes	7a0605d96f	added CC (congruence closure with curryfied terms); ... added Puf (persistent Union-Find, used in CC); added their unit tests	2013-04-17 15:43:19 +02:00