		Search-engine friendly clone of the ACL2 documentation.

Projects

Taspi

Texas Analysis of Symbolic Phylogenetic Information (TASPI) is specialized code for modeling collections of phylogenetic trees and performing a few manipulations such as consensus analysis.

The directory projects/taspi contains the TASPI code. These ACL2 books may be built by running, e.g., make taspi from the books/ directory. Please note: TASPI relies on a version of ACL2 that includes HONS for its speed and memory requirement claims.

For further details, see:

Serita Nelesen. Improved Methods for Phylogenetics. PhD Dissertation, The University of Texas at Austin, Dec 2009.
Warren A. Hunt, Jr. and Serita M. Nelesen. Phylogenetic Trees in ACL2. Proceedings of the 6th International Workshop on the ACL2 Theorem Prover and its Applications, Seattle, WA, August 15-16, 2006.
Robert S. Boyer, Warren A. Hunt Jr and Serita M. Nelesen. A Compressed Format for Collections of Phylogenetic Trees and Improved Consensus Performance. In Algorithms in Bioinformatics: 5th International Workshop, WABI 2005, LNCS 3692, pages 353-364, Springer Berlin / Heidelberg, 2005.

Copyright Information

TASPI — Texas Analysis of Symbolic Phylogenetic Information
Copyright (C) 2011 Serita Nelesen, Robert Boyer and Warren A. Hunt, Jr.

This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.