Package | Description |
---|---|
org.chocosolver.solver.constraints.nary.sum |
Class and Description |
---|
PropSum
A propagator for SUM(x_i) o b
Based on "Bounds Consistency Techniques for Long Linear Constraint" W. |
PropSumBool
A propagator for SUM(x_i) = y + b, where x_i are boolean variables
Based on "Bounds Consistency Techniques for Long Linear Constraint" W. |
PropSumFullBool
A propagator for SUM(x_i) = y + b, where x_i are boolean variables
Based on "Bounds Consistency Techniques for Long Linear Constraint" W. |
Copyright © 2018. All rights reserved.