Vizlo is a visualization extension for clingo.
copied from cf-staging / vizloVizlo is a visualization extension for clingo. It is intended to help you visualize and potentially debug programs by showing an iterative simulation of the solving process.