thank you -- View this message in context: http://haskell.1045720.n5.nabble.com/Haskell-WalkSat-algorithm-implementation-tp3365064p3365124.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.