[Haskell-cafe] Haskell DPLL

2011-02-02 Thread Houdini
One :Thank you Carsten Schultz,Daniel Fischer and all the other for your help. Two:After my last post I wrote some function that should help me in the future,but I need some help with the followint as I'm tired and have to fit in a schedule.I know it is long so I'll try and explain it as short

Re: [Haskell-cafe] Haskell DPLL

2011-02-02 Thread Houdini
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.