Analysis → Presburger Relation

File in include/mlir/Analysis	Includes file in include/mlir/Analysis/Presburger
FlatLinearValueConstraints.h	IntegerRelation.h
FlatLinearValueConstraints.h	Matrix.h