-
-
Notifications
You must be signed in to change notification settings - Fork 13
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.
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
More complex constraints in RHS of an indicator / reification #248
Comments
The first version can work by changing it to:
which isn't implemented yet but would be easy. It's probably hard to have
that working at the moment as |
The first is now implemented. Will check what I can do to support a different |
It would be great to be able to write more complex expressions, such as indicators and reifications in the RHS of an indicator / reification. For example (from http://hakank.org/julia/constraints/monks_and_doors.jl )
The text was updated successfully, but these errors were encountered: