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

var_map in sat solvers #479

Open
Shikhar-Srivastava-16 opened this issue Nov 22, 2024 · 1 comment
Open

var_map in sat solvers #479

Shikhar-Srivastava-16 opened this issue Nov 22, 2024 · 1 comment
Assignees
@Shikhar-Srivastava-16
Labels
area::conjure-oxide Related to conjure_oxide. area::sat Related to SAT rules, SAT solvers and the KisSAT solver interface.

Comments

@Shikhar-Srivastava-16
Copy link
Contributor

I'm not sure what the use of the Hashmap of var_map in the SAT solvers is - I'm adding them into the adaptor for now but may need to remove them later, this needs to be discussed (maybe before the pr merge).
ref:
@Shikhar-Srivastava-16 Shikhar-Srivastava-16 added area::conjure-oxide Related to conjure_oxide. area::sat Related to SAT rules, SAT solvers and the KisSAT solver interface. labels Nov 22, 2024
@Shikhar-Srivastava-16 Shikhar-Srivastava-16 self-assigned this Nov 22, 2024
@ozgurakgun
Copy link
Contributor

hi @Shikhar-Srivastava-16 - I don't have enough context for this, sorry. what do you mean?

the last update on the pr (#415) is from ~ 2 weeks ago, did you forget to push your work perhaps?

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

@Shikhar-Srivastava-16 Shikhar-Srivastava-16

Labels
area::conjure-oxide Related to conjure_oxide. area::sat Related to SAT rules, SAT solvers and the KisSAT solver interface.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ozgurakgun @Shikhar-Srivastava-16