Damas software for Paradigmas at UVa.