; Last modified on Mon Apr 29 14:45:21 PDT 1996 by heydon
;
; Finds the positive and negative square roots of 2.

((vars
   (x ~ 1))
 (constraints
   (times 2 x x))
)

((vars
   (x ~ -1))
 (constraints
   (times 2 x x))
)