@hackage / presburger

A decision procedure for quantifier-free linear arithmetic.

Latest1.3.1

About

Metadata

  • Last updated , by HerbertValerioRiedel
  • License BSD-3-Clause
  • Categories Algorithms

  • Maintained by: diatchki@galois.com

  • Lottery factor: 0

Links

Installation

Readme

The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test.