package coq-presburger
Presburger's algorithm
Install
Dune Dependency
Authors
Maintainers
Sources
v8.9.0.tar.gz
md5=f3c4e9c316149a8bc03bde86b6c4a2bf
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: 08 Dec 2019
On This Page