@hackage / presburger

A decision procedure for quantifier-free linear arithmetic.

Latest1.3.1

Changelog

This release does not have a Changelog