Effective representation of symbolic execution tree for SPF

by Guowei Yang for The Java Pathfinder Team

This project implements an efficient trie-based data structure representation for the symbolic execution tree for Symbolic Pathfinder. The goal is to define a data structure that compactly represents symbolic execution tree and can be maintained on-the-fly, as the program undergoes changes.