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

minion_rs: ensure that watched constraints can only take boolean variables as input #242

Open
niklasdewally opened this issue Feb 22, 2024 · 0 comments
Open

minion_rs: ensure that watched constraints can only take boolean variables as input #242

niklasdewally opened this issue Feb 22, 2024 · 0 comments
Labels
area::minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::bug Something isn't working
Milestone
Minion Solver Sup...

Comments

@niklasdewally
Copy link
Contributor

At the moment, minion_rs allows the use of any variable type inside a watched-neq. However, watched constraints should only take boolean variables. Minion catches this and errors, but this should be type checked in minion_rs nonetheless.
@niklasdewally niklasdewally added kind::bug Something isn't working area::conjure-oxide Related to conjure_oxide. labels Feb 22, 2024
@niklasdewally niklasdewally added area::minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. and removed area::conjure-oxide Related to conjure_oxide. labels Feb 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area::minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::bug Something isn't working
Projects
None yet
Milestone
Minion Solver Support (@niklasdewally...
Development

No branches or pull requests
1 participant
@niklasdewally