Decision procedures for Presburger arithmetic in Haskell
↑ +1 today
7 tracked repositories
Showcase your total open-source impact. This SVG badge updates automatically as our continuous crawler records new stars.
[](https://githubrepo.cloud/developers/yav)
Sorted by stars
Decision procedures for Presburger arithmetic in Haskell
A Haskell datastructure for working with locations in trees or forests.
A Haskell library for generating new names without threading state.