A Java library consisting of a number of iterators, algorithms and functions, loosely inspired by the C++ Standard Template Library. [Open source, LGPL]
A class library providing object-oriented representations and algorithms for logic, mathematics and artificial intelligence. It comprises theorem proving, computer algebra, search and planning, as well as learning algorithms.