Deep Think is currently in use at the Computing Department, Open University, UK. Some relevant information is as follows: