How to to Make Preference Criteria Effective

potassco / clingo

🤔 A grounder and solver for logic programs.

https://potassco.org/clingo

MIT License

589 stars 79 forks source link

How to to Make Preference Criteria Effective #474

Closed francisol closed 5 months ago

francisol commented 7 months ago

I can‘t find examples of preference criteria under the examples/reify/optimization path. Could you please provide some insights or point me towards relevant examples?

rkaminsk commented 6 months ago

There are some examples in the folder. The README.md also has a link to the metasp project where you find further instances and the paper explaining the encoding.