Support logical AND/OR in MinionModel #147
Labels
area::minion
Related to minion_rs, the minion C++ bindings, and the minion solver interface.
kind::feature
New feature or request
To allow us to pass an
=
constraint to Minion, we will need to support the logical AND constraint within Minion and Conjure models. In Minion, AND and OR are represented bywatchedAnd
andwatchedOr
. Since the two are so similar we might as well add both!The text was updated successfully, but these errors were encountered: