potassco / potassco/constraint-handler

ground engine executions

Open
#271 0 comments 0 reactions 1 assignee View on GitHub

@AbdallahS is already working on this.

Since May 19, 2026.

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

Description

In the ground-engine case set/executions, there are 2 expressions with more than 1 true _se_value(expr, value):

variable(execution_output(exec_external,external_out))

  • bad
  • ref(set,variable(execution_output(exec_external,external_out)))

and
operation(set_isin,(val(int,2),(variable(execution_output(exec_external,external_out)),())))

  • val(bool,false)
  • val(bool,true)

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.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.