presburger 1.3.1

2 Reverse deps Accepted versions
cryptol >=1.3
inch ==0.4.*