search

potassco / clintest

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

Add more quantifiers #17

Open teiesti opened 9 months ago

teiesti commented 9 months ago

Ideas include

  1. First,
  2. Last,
  3. Even,
  4. Odd,
  5. Between(lower: Optional[int], upper: Optional[int]), and
  6. a version of Any that is true if there is no model, i.e., that is only false if there is a model that does not satisfy the assertion.