Artificial Intelligence Toolkit is a C++ library providing a platform to bring theoretical AI to engineering. Currently, a comprehensive constraint satisfaction library and a generic platform for AI planning are available.
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.