Reasoner Package added to the repository