Downloads
Search Graph Searching

Version 4.5.3 (August 9th, 2016): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.5.3 (January 25th, 2012): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.5.2 (October 2nd, 2010): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.5.1 (September 30th, 2010): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.5.0 (June 13th, 2010): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.4.9 (October 18th, 2009): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.4.8 (April 10th, 2009): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.4.7 (September 18th, 2008): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.4.5 (April 26th, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.4.4 (March 28th, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.4.3 (March 3rd, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.4.2 (October 9th, 2007): [applet launcher] [.jar download] [.exe download]
Version 2.1 (August 29th, 2002): [applet launcher] [.jar download] [.exe download]

CSP Consistency Based CSP Solver

Version 4.6.1 (August 9th, 2016): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.6.1 (October 5th, 2010): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.6.0 (June 13th, 2010): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.5.9 (October 18th, 2009): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.5.8 (April 10th, 2009): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.5.7 (October 12th, 2008): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.5.6 (June 11th, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.5.5 (April 26th, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.5.4 (March 28th, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.5.3 (March 3rd, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.5.2 (September 25th, 2007): [applet launcher] [.jar download] [.exe download]
Version 2.6b (August 30th, 2002): [applet launcher] [.jar download] [.exe download]

SLS for CSP Stochastic Local Search Based CSP Solver

Version 4.6.0 (August 9th, 2016): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.6.0 (June 13th, 2010): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.5.9 (October 18th, 2009): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.5.8 (April 10th, 2009): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.5.7 (October 12th, 2008): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.5.6 (April 26th, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.5.5 (March 28th, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.5.4 (March 7th, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.5.3 (March 3rd, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.5.2 (October 16th, 2007): [applet launcher] [.jar download] [.exe download]
Version 4.5.1 (August 28th, 2007): [applet launcher] [.jar download] [.exe download]]
Version 3.0 (August 30th, 2003): [applet launcher] [.jar download] [.exe download]

Deduction Definite Clause Deduction

Version 4.2.8 (August 9th, 2016): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.2.8 (June 13th, 2010): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.2.7 (October 18th, 2009): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.2.6 (April 10th, 2009): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.2.5 (March 18, 2009): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.2.4 (May 8th, 2008): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.2.3 (April 26th, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.2.2 (March 3rd, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.2.1 (August 28th, 2007): [applet launcher] [.jar download] [.exe download]
Version 1.02 (August 26th, 2002): [applet launcher] [.jar download] [.exe download]

Bayes Belief and Decision Networks

Version 5.1.10 (August 9th, 2016): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 5.1.10 (June 13th, 2013): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 5.1.9 (June 13th, 2010): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 5.1.8 (January 21st, 2010): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 5.1.7 (October 18th, 2009): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 5.1.6 (March 16, 2009): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 5.1.5 (April 26th, 2008): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 5.1.4 (March 5th, 2008): [applet launcher] [.jar download] [.exe download]
Version 5.1.3 (January 10th, 2008): [applet launcher] [.jar download] [.exe download]
Version 5.1.2 (November 16th, 2007): [applet launcher] [.jar download] [.exe download]
Version 5.1.1 (October 23rd, 2007): [applet launcher] [.jar download] [.exe download]
Version 2.5 (August 29th, 2002): [applet launcher] [.jar download] [.exe download]

Decision Trees Decision Trees

Version 4.4.0 (August 9th, 2016): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.4.0 (February 22nd, 2011): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.3.9 (January 25th, 2011): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.3.8 (June 13th, 2010): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.3.7 (October 18th, 2009): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.3.6 (April 10th, 2009): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.3.5 (October 12th, 2008): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.3.4 (May 7th, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.3.3 (April 26th, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.3.2 (February 25th, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.3.1 (August 28th, 2007): [applet launcher] [.jar download] [.exe download]
Version 1.0 (August 30th, 2002): [applet launcher] [.jar download] [.exe download]

Neural Neural Networks

Version 4.3.8 (August 9th, 2016): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.3.8 (February 22nd, 2011): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.3.7 (February 8th, 2011): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.3.6 (January 25th, 2011): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.3.5 (June 13th, 2010): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.3.4 (April 10th, 2010): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.3.3 (April 26th, 2008): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.3.2 (March 28th, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.3.1 (March 3rd, 2008): [applet launcher] [.jar download] [.exe download]
Version 4.3.0 (August 28th, 2007): [applet launcher] [.jar download] [.exe download]
Version 2.5 (August 26th, 2002): [applet launcher] [.jar download] [.exe download]

Robot STRIPS to CSP converter

Version 4.0.4 (August 9th, 2016): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.0.4 (December 4th, 2008): [Java Web Start] [applet launcher] [.jar download] [.exe download]
Version 4.0.1 (August 18th, 2008): [applet launcher] [.jar download] [.exe download]

Prototype Tools:

Robot Robot Control

Version 4.6.0 (January 11th, 2005): [applet launcher] [.jar download] [.exe download]
Version 1.1 (August 26th, 2002): [applet launcher] [.jar download] [.exe download]

Planning Planning

Version 4.0.0 (February 16th, 2004): [applet launcher] [.jar download] [.exe download]
Version 1.1 (August 30th, 2002): [applet launcher] [.jar download] [.exe download]

Valid HTML 4.0 Transitional