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

Basic rules to translate logical expressions into CNF #152

Closed
gskorokhod opened this issue Jan 26, 2024 · 0 comments · Fixed by #155
Closed

Basic rules to translate logical expressions into CNF #152

gskorokhod opened this issue Jan 26, 2024 · 0 comments · Fixed by #155
Assignees
@gskorokhod
Labels
area::sat Related to SAT rules, SAT solvers and the KisSAT solver interface. kind::feature New feature or request

Comments

@gskorokhod
Copy link
Contributor

We need to define rules for translating Expression's into CNF format, so the model can be given to the kissat solver adapter
@gskorokhod gskorokhod added kind::feature New feature or request area::sat Related to SAT rules, SAT solvers and the KisSAT solver interface. labels Jan 26, 2024
@gskorokhod gskorokhod self-assigned this Jan 29, 2024
@gskorokhod gskorokhod mentioned this issue Jan 29, 2024
Merged
@gskorokhod gskorokhod linked a pull request Jan 29, 2024 that will close this issue
Rules to convert logical expressions to CNF (Issue 152) #155
Merged
@gskorokhod gskorokhod changed the title Rules for translation into CNF Basic rules to translate logical expressions into CNF Jan 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gskorokhod gskorokhod

Labels
area::sat Related to SAT rules, SAT solvers and the KisSAT solver interface. kind::feature New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Rules to convert logical expressions to CNF (Issue 152) gskorokhod/conjure-oxide
1 participant
@gskorokhod