dagstuhl2 « old_test « examples « omega - chill.git - Composable High-level Loop Transformation Framework

summary refs log tree commit diff

path: root/omega/examples/old_test/dagstuhl2

blob: 4cc3758d073a1c9a18c7e714517487cee2c8f350 (plain)

{[i,j] : 
	2i+6j>=9
	&& 5i-3j >= 0
	&& 2i-10j >= -15
	&& -2i+6j >= 3
	&& -2i-6j >= -17};