To run the solver the use of Clingo is needed (or some other equivalent application). Will work in a ubuntu environment or using the Anaconda prompt together with potassco.