On Wed, Feb 27, 2008 at 2:01 AM, Judah Jacobson <[EMAIL PROTECTED]> wrote: > Hi Denis, > > I was unable to run your program; it looks like there's a missing > module 'Properties'. To include it in the sdist you probably need to > add it under the other-modules field in the .cabal file.
Sorry about this. I'm new to Cabal, and to Haskell in general. Attached is a version that built on my machine independently of the source tree. -- Denis
DPLLSat-0.1.tar.gz
Description: GNU Zip compressed data
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe