Skip to content
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

Feature/tseitin-little-fix #119

Merged
merged 4 commits into from
Sep 19, 2023
Merged

Feature/tseitin-little-fix #119

merged 4 commits into from
Sep 19, 2023

Conversation

paga16-hash
Copy link
Collaborator

  • Fix Exception in convertToCNF method but maybe it is better to remove it
  • Fix BDD tests for converters
  • Fix name for generated variables: TSTN to GEN because every converter generate variables and following this approach there will be no need to exclude other variables names while processing the input.

@paga16-hash paga16-hash added the fix Fix of some features label Sep 19, 2023
@paga16-hash paga16-hash merged commit 85c23c2 into develop Sep 19, 2023
@paga16-hash paga16-hash deleted the feature/tseitin-little-fix branch September 19, 2023 15:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Mala1180 Mala1180 Mala1180 approved these changes

@w-disaster w-disaster Awaiting requested review from w-disaster

Assignees
No one assigned
Labels
fix Fix of some features
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@paga16-hash @Mala1180