We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
The empty constraint [] = all([]) evaluates to True in CPMpy.
[] = all([])
True
The current implementation of implies allows for the construction of expressions of the type:
implies
bv.implies([])
~bv | True = True
If the [] empty list constraint is encoded as a linear expression sum([]) it should evaluate to 0.
[]
sum([])
~bv
The text was updated successfully, but these errors were encountered:
No branches or pull requests
The empty constraint
[] = all([])evaluates toTruein CPMpy.The current implementation of
impliesallows for the construction of expressions of the type:bv.implies([])where the expression could be evaluated to~bv | True = Truedirectly.If the
[]empty list constraint is encoded as a linear expressionsum([])it should evaluate to 0.bv.implies([])where the expression could evaluate to~bvdirectly.The text was updated successfully, but these errors were encountered: