source-git / isl

Clone
Source Code
GIT

Blame isl-0.14/test_inputs/basicTestParameterPosNeg.pwqp

c8 master
  1.   1ba828cd612f81e4edecba17a647d274697f0ed6
  2.   isl-0.14
  3.   test_inputs
  4.   basicTestParameterPosNeg.pwqp
Blob History Raw
Packit fb9d21 
[p] -> { [n, m] -> (n + n^3) : n >= -1 and m >= n and m <= p }

Powered by Pagure 5.13.3

SSH Hostkey/Fingerprint | Documentation