potassco / potassco/constraint-handler

More recoverable operators.

Open
#203 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Python
Stars
3
Forks
0
Avg merge
1d 19h
Merged PRs (30d)
20

Description

We could add more recoverable operators:

  • mult : if 0 is among the arguments
  • isin: if the set is empty, bad is not in it

There are others that are more "exotic" or introduce more complexity or side-effects:

  • min: if one of the arguments is #inf
  • max: if one of the arguments is #sup
  • isin: when one can find the looked for value, it's irrelevant whether a set contains bad.
  • union
  • inter
  • length

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by locating the existing recoverable-operator implementation and its tests, then compare the straightforward cases in issue #203 with the more exotic cases listed there. Done means the selected additional operators recover the specified conditions and have tests covering those behaviors; the issue does not define which exotic cases to include.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
tooling
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.