Solving linear boolean equations

[Rainer Dorsch]

Hello,

I am wondering, if gsl is useful for solving large/huge _linear_ boolean 
equations, e.g.

x1+x3=0
x1+x2=1
x2+x3=1

and xi is either 0 or 1 and the result here is read mod 2.

Thank you.

Rainer.