@hackage / presburger

A decision procedure for quantifier-free linear arithmetic.

1.3.1

Security Advisories

No advisories found.