disable printing info - Githubissues

potassco / clingo

🤔 A grounder and solver for logic programs.

https://potassco.org/clingo

MIT License

589 stars 79 forks source link

Closed mahi045 closed 6 months ago

mahi045 commented 7 months ago

Hi, Is there any option to disable/turn off printing info like this:

70:7-11: info: atom does not occur in any rule head:
  v110

Thanks.

rkaminsk commented 7 months ago

Check the --warn option of clingo (only listed with --help=2). You can also selectively disable this message by adding:

#defined v110/0.