New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Transform basic FMs to Category Theory #1

Open

jmhorcas opened this issue Jul 3, 2022 · 0 comments

Assignees

Labels

good first issue

Collaborator

jmhorcas commented Jul 3, 2022 •

edited

Loading

Transform the most basic FM languages (optional, mandatory, or groups, xor groups, prop. logic. constraints) to category theory formalization.

The transformation results in a .cql file with the specification of the categories ready to be used as input of the category solver.

The transformation should be implemented following this interface.

jmhorcas added the good first issue label

jmhorcas assigned anhe2p9

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment