; Last modified on Mon Apr 29 15:36:42 PDT 1996 by heydon

((vars
   (a))
 (constraints
   (cons (1 (2 NIL)) 1 a))
)

((vars
   (x))
 (constraints
   (cons (1 1) x x))
)

((vars
   (x))
 (constraints
   (cons (1 2) x x))
)

((vars
   (x) (y))
 (constraints
   (cons y x NIL)
   (cons (("foo" NIL) NIL) y NIL))
)

((vars
   (x))
 (constraints
   (cons x x x))
)

((vars
   (x) (y) (z))
 (constraints
   (plus y x z)
   (cons (1 2) x y))
)

((vars
   (x) (y) (z))
 (constraints
   (cons x y z))
)

((vars
   (x) (y) (z))
 (constraints
   (cons x y z)
   (text y)
   (real z))
)

((vars
   (x))
 (constraints
   (text x)
   (= 1 x))
)