Skip to content

Add files to debug clingo concretizer

Harald Minde Hansen requested to merge clingo_files into master

Thanks to @razumov for sending me the python scripts! They are slightly modified to fit into the project.

Merge request reports