package coq-presburger
Presburger's algorithm
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=0494855db39925dac2b6a6b3a658cdce
Description
A formalization of Presburger's algorithm as stated in the initial paper by Presburger.
Tags
keyword: integers keyword: arithmetic keyword: decision procedure keyword: Presburger category: Mathematics/Logic/Foundations category: Mathematics/Arithmetic and Number Theory/Miscellaneous category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures date: March 2002Published: 07 Dec 2019
On This Page