Inference algorithms are implemented here (derived from {@link LBJ2.infer.Inference}), but most of the classes in this package are used internally by LBJ at runtime to represent constraints and to translate between constraint representations. @author Nick Rizzolo