Test and Performance Tools Platform (TPTP) Downloads

   

TPTP/Hyades Release Builds

For details about previous releases look here.
Build name Build date
Release 4.7.1 Fri, September 24, 2010
Release 4.7.0 Wed, June 23, 2010
Release 4.6.2 Fri, February 26, 2010
Release 4.6.1 Fri, September 25, 2009
Release 4.6.0 Wed, June 24, 2009
Release 4.5.2 Wed, February 25, 2009
Release 4.5.1 Wed, September 24, 2008
Release 4.5.0 Fri, June 20, 2008
Release 4.4.1 Mon, February 25, 2008
Release 4.4.0.3 Fri, September 28, 2007
Release 4.4.0.2 Fri, August 17, 2007
Release 4.4.0.1 Mon, July 16, 2007
Release 4.4.0 Fri, June 29, 2007
Release 4.3.1 Mon, March 5, 2007
Release 4.3.0 Thu, December 7, 2006
Release 4.2.2 Tue, Feb 13, 2007
Release 4.2.1.1 Mon, December 4, 2006
Release 4.2.1 Fri, September 30, 2006
Release 4.2.0.2 Tue, August 8, 2006
Release 4.2.0.1 Mon, July 24, 2006
Release 4.2.0 Fri, June 30, 2006
Release 4.1.0.1 Fri, Jan 27, 2006
Release 4.1.0 Wed, Nov 23, 2005 -- 01:00 (-0400)
Release 4.0.1.2 Fri, Mar 10, 2006
Release 4.0.1.1 Fri, Jan 27, 2006
Release 4.0.1 Mon, Oct 31, 2005 -- 11:51 (-0400)
Release 4.0.0 Mon, Jul 18, 2005 -- 15:19 (-0400)
Release 3.3.0.2 Fri, Jan 27, 2006
Release 3.3.0 Thu, Jun 23, 2005 -- 21:50 (-0400)
Release 3.2.A Tue, Mar 01, 2005 -- 17:49 (-0400)
Release 3.0.2 Fri, Feb 25, 2005 -- 16:41 (-0400)
Release 3.2.0 Tue, Dec 21, 2004 -- 16:37 (-0400)
Release 3.1.0 Tue, Oct 19, 2004 -- 12:01 (-0400)
Release 3.0.1.2 Wed, Mar 15, 2006
Release 3.0.1.1 Wed, Oct 13, 2004 -- 16:09 (-0400)
Release 3.0.1 Wed, Sep 22, 2004 -- 09:55 (-0400)
Release 3.0.0 Mon, Jun 21, 2004 -- 12:25 (-0400)
Release 1.3.0 Thu, Apr 22, 2004 -- 22:39 (-0400)
Release 1.2.2 Thu, Feb 26, 2004 -- 13:49 (-0500)
Release 1.2.1 Mon, Jan 26, 2004 -- 09:54 (-0500)
Release 1.2.0 Thu, Jan 15, 2004 -- 07:24 (-0500)
Release 1.0.4.1 April 4, 2006
Release 1.0.4 Thu, Jan 29, 2004 -- 17:10 (-0500)
Release 1.0.3 Mon, Sep 29, 2003 -- 14:06 (-0400)