Changes since 1.4.1: - Fixed segmentation fault when -xm flag is used on some solvers. Changes since 1.3.0: - ESG and ASG executables and source files renamed (mrsat->esg, arsat->asg). - Separate executables for Novelty and Novelty+ (novel and pnovel). - Removed "-wsatg" and "-wsatb" flags from WalkSAT solver. There are now three separate executables (wsat, wsat-g, wsat-b). - Changed filename wnovel.c to novel.c. - Added "-xm" flag (exact memory) which avoid over-allocation of memory at small speed penalty. Not all solvers respect this flag. - Added "-mc" flag (maximum clauses). - Added "-ls" flag so solutions can now be logged to files. - WSAT-family solvers now share make/break code. - Added optional double-check that solutions found are really solutions. - ESG now reads CNF files by default and COP files if the "-cop" flag is specified. - ESG is substantially faster, simpler, and heavily commented. - Most other solvers faster as well. - Makefile is now more portable.