The latest version of singletons-presburger is 0.7.4.0-0.
exe:simple-arith
Dependencies
- base lib:base >=0
- equational-reasoning lib:equational-reasoning >=0
- singletons lib:singletons >=0 && >=0 && >=0
- singletons-base lib:singletons-base >=3.0 && >=3.0
- singletons-presburger lib:singletons-presburger >=0
- singletons-th lib:singletons-th >=0
Reverse dependencies
None.