add_mlir_library(MLIRPresburger
  Simplex.cpp
  Matrix.cpp
  )