File: e222_1.zpl

package info (click to toggle)

zimpl 3.7.0%2Bds-2

file content (5 lines) | stat: -rw-r--r-- 130 bytes

# $Id: e222_1.zpl,v 1.1 2014/01/12 09:47:38 bzfkocht Exp $
var x binary;
var y binary;

subto c1: vif x == 1 then y * y == 1 end;