swMATH ID: 34696
Software Authors: Sakaguchi, K.
Description: Vass: This repository contains following formalizations: logic/LRA.v: Linear real arithmetic and Fourier-Motzkin elimination; logic/Presburger.v: Presburger arithmetic and quantifier elimination; algebra_ext.v: Quantifier elimination principle for linear inequalities; matrix_ext.v: Farkas’ lemma; cone.v: Elementary theory of convex cones.
Homepage: https://github.com/pi8027/vass
Source Code: https://github.com/pi8027/vass
Related Software: GitHub; z3; Coq
Cited in: 1 Publication

Citations by Year