Add function to model to inspect whether a literal is a consequence.

potassco / clingo

🤔 A grounder and solver for logic programs.

https://potassco.org/clingo

MIT License

599 stars 79 forks source link

Closed rkaminsk closed 1 year ago

rkaminsk commented 1 year ago

[x] check if true/false/unknown really work in all cases for cautious and brave reasoning