New query

This is not the Omega calculator, but iscc. See Section 1.2 of the barvinok manual or the tutorial. For an introduction to the underlying concepts, see Presburger Formulas and Polyhedral Compilation. In order not to overload the web server, the execution time of the query is limited.

isl-0.16.1-GMP
barvinok-0.39
 +MODULO -INCREMENTAL
 -PET -OMEGA -CDDLIB -GLPK -TOPCOM +ZSOLVE -PARKER

For bug reports, feature requests and questions,

Google Groups
isl Development
Visit this group