setup.py
symcollab/Unification/__init__.py
symcollab/Unification/ac_unif.py
symcollab/Unification/bool_unif.py
symcollab/Unification/eac_unif.py
symcollab/Unification/flat.py
symcollab/Unification/h_eac_unif.py
symcollab/Unification/hermite.py
symcollab/Unification/p_syntactic.py
symcollab/Unification/p_unif.py
symcollab/Unification/partitions.py
symcollab/Unification/saturation.py
symcollab/Unification/syntactic_slow_fast.py
symcollab/Unification/unif.py
symcollab/Unification/xor_rooted_unif.py
symcollab_unification.egg-info/PKG-INFO
symcollab_unification.egg-info/SOURCES.txt
symcollab_unification.egg-info/dependency_links.txt
symcollab_unification.egg-info/requires.txt
symcollab_unification.egg-info/top_level.txt