This is the mail archive of the
gsl-discuss@sources.redhat.com
mailing list for the GSL project.
Solving linear boolean equations
- From: Rainer Dorsch <rainer dot dorsch at informatik dot uni-stuttgart dot de>
- To: gsl-discuss at sources dot redhat dot com
- Cc: rainer dot dorsch at informatik dot uni-stuttgart dot de, schaefls at web dot de
- Date: Thu, 29 Nov 2001 09:01:48 +0100
- Subject: Solving linear boolean equations
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.