2 commits

Author	SHA1	Message	Date
Simon Cruanes	26b4b14979	fix build system	2015-03-30 23:33:09 +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