ghc-typelits-presburger (hackage): Presburger arithmetic solver for built-in type-level naturals
Keywords: bsd3|library|math|type-system|compiler-plugin|dependent-types|ghc|ghc-plugin|haskell|presburger-arithmetic-solver|solver|type-level-programming