singletons-presburger-0.3.0.1: Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
Index