Defunct project, replaced by SMT Kit developed at Oxford