minion_rs: ensure that watched constraints can only take boolean variables as input #242
Labels
area::minion
Related to minion_rs, the minion C++ bindings, and the minion solver interface.
kind::bug
Something isn't working
Milestone
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.
The text was updated successfully, but these errors were encountered: