Defines index domain view for a variable and related operations on it.
Matrix and operations on matrices.
Defines an MDD as used in the following paper.
|QueueForward<T extends Constraint>||
Utility class that allows for constraints like Xor, Reified, etc that take other constraints as parameters to forward any changes of variables to the constraints that were provided as arguments.
Different implementation of an ArrayList data structures.
This class provides very simple HashSet functionality.
Sparse set representation of the set.
Util functions for arrays of tuples.
Copyright © 2018. All rights reserved.