TaPAS  0.2
GENEPI

Introduction

The GENEPI Library allows the manipulation of Presburger definable sets by means of dynamically loaded solvers. The aim of the GENEPI library is twofold: