potassco / potassco/constraint-handler

implementation of intensional set values does not respect the fact format

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

@AbdallahS is already working on this.

Since Apr 9, 2025.

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

Description

Intensional set values are expressions. They should be wrapped in a symbol function symbol to match the fact format.

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.