source-git / isl

Clone
Source Code
GIT

Blame isl-0.16.1/test_inputs/basicTestParameterPosNeg.pwqp

c8 master
  1.   fb9d21dc466c02293757c8ee46e9134ce59bd187
  2.   isl-0.16.1
  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