New Polka is a library to handle convex polyhedra, whose constraints and generators have rational coefficients. It is programmed in ANSI C, so you can use it in any C or C++ programs. An interface to the OCaml language is also provided. This library is currently used in my verification tool NBac and by others research teams working on static analysis and abstract interpretation. It is mainly based on the old IRISA PolyLib and the old library used in the Polka tool inside the synchronous team of the Verimag laboratory.
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.