Solver not work with the last version on clingo (same error on demo site) How find information about version and installation of clingo thank you