File: e142_1.zpl

package info (click to toggle)

zimpl 3.7.0%2Bds-2

file content (4 lines) | stat: -rw-r--r-- 108 bytes

# $Id: e142_1.zpl,v 1.1 2013/02/24 16:01:57 bzfkocht Exp $
set I := {1 to 5};
var x[I];
subto c1: x[6] <= 5;