Have an option to print the clingo program with soft constraints
Have an option to print the clingo program with soft constraints