I didn't upload the code for the funtion I wrote because of the space...I ca do so If you require. -- View this message in context: http://haskell.1045720.n5.nabble.com/Haskell-DPLL-tp3368123p3368130.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.