As part of my job as a student assistant at KIT I helped with the development of the ProvideQ toolbox. This application allows users to send in theoretical problems (such as SAT-Problems) and provides them a solution obtained either through a conventional algorithm or by use of an algorithm based on quantum computing. The project is still under heavy development and my work at the project is done for now, nevertheless I still find it fascinating and you should definitely have a look yourself!