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.11 barvinok-0.36 +MODULO -INCREMENTAL -PET -OMEGA -CDDLIB -GLPK -TOPCOM +ZSOLVE -PARKER
For bug reports, feature requests and questions,
|
|
| isl Development |
| Visit this group |