This is a minimally-updated version of Ceta (a library for Combining Equational Tree Automata) so that it can be built with a C++17-enabled compiler and without Boost.
Its original source code and more information are available at:
Copyright 2005-2007 Joe Hendrix (jhendrix@uiuc.edu)
There are some know bugs (related to illegal memory access).