TaPAS: the Talence Presburger arithmetic suite
J Leroux, G Point - International Conference on Tools and Algorithms for …, 2009 - Springer
J Leroux, G Point
International Conference on Tools and Algorithms for the Construction and …, 2009•SpringerTaPAS is a suite of libraries dedicated to. The suite provides (1) the application
programming interface Genepi for this logic with encapsulations of many classical
solvers,(2) the BDD-like library SaTAF used for encoding Presburger formulae to automata,
and (3) the very first implementation of an algorithm decoding automata to Presburger
formulae.
programming interface Genepi for this logic with encapsulations of many classical
solvers,(2) the BDD-like library SaTAF used for encoding Presburger formulae to automata,
and (3) the very first implementation of an algorithm decoding automata to Presburger
formulae.
TaPAS is a suite of libraries dedicated to. The suite provides (1) the application programming interface Genepi for this logic with encapsulations of many classical solvers,(2) the BDD-like library SaTAF used for encoding Presburger formulae to automata, and (3) the very first implementation of an algorithm decoding automata to Presburger formulae.
Springer
Showing the best result for this search. See all results