search

potassco / clintest

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

Support optimization #16

Closed teiesti closed 3 months ago

teiesti commented 9 months ago

In order to support optimization, we probably need

  1. an assertion Optimal that checks if a model is optimal,
  2. an assertion that allows statements about the model's cost,
  3. an assertion Implies(antecedent: Assertion, consequent: Assertion), and
  4. an assertion Equivalent(*args: Assertion).