yav / presburger

Decision procedures for Presburger arithmetic in Haskell
29Updated 4 years ago

Related projects

Alternatives and complementary repositories for presburger