2lp_main()
{
int x[3];

	//generate
	and(int i=0;i<3;i++) 
		either x[i] = 0;
		or x[i] = 1;

	//test
	2*x[0] + 2*x[1] - x[2] == 1;
	x[0] + 4*x[1] + x[2] == 2;

	//print results
	printf("There is a 0-1 solution:\n");
	and(int i=0;i<3;i++) 
		printf("x[%d] is %d\n",i,x[i]);
}
 