New query

This is not the Omega calculator, but iscc. See Section 1.2 of the barvinok manual or the tutorial. In order not to overload the web server, the execution time of the query is limited.

isl-0.13
barvinok-0.37-1-g24588fa
 +MODULO -INCREMENTAL
 -PET -OMEGA -CDDLIB -GLPK -TOPCOM +ZSOLVE -PARKER

For bug reports, feature requests and questions,

Google Groups
isl Development
Visit this group