presburger
A decision procedure for quantifier-free linear arithmetic
homepage ↗ hackage: presburger github: yav/presburger
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 1.3.1_pre20250321 | 1 | 2 d | details › |
A decision procedure for quantifier-free linear arithmetic
homepage ↗ hackage: presburger github: yav/presburger
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 1.3.1_pre20250321 | 1 | 2 d | details › |