search

potassco / clintest

🧪 A test framework for clingo programs
https://potassco.org/clintest/
MIT License
7 stars 1 forks source link

Enhance support for optimization #33

Open teiesti opened 3 months ago

teiesti commented 3 months ago

This is a follow-up to #16.

While basic support for optimization was made available in #31, there are more features worth considering:

  1. Add assertions that allow statements about the model's cost.
  2. Add an Implies and Equivalent test.
  3. Improve documentation.