From 8392232d57b4d1aba82b8005813d39854e8cf74e Mon Sep 17 00:00:00 2001 From: Simon Tatham Date: Sat, 6 Aug 2005 10:24:52 +0000 Subject: A bunch of new reasoning techniques in the Slant solver, leading to a new Hard mode. Also added a command-line `slantsolver' which can grade puzzles and show working. [originally from svn r6167] --- Recipe | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Recipe') diff --git a/Recipe b/Recipe index 0b6c81c..903e50b 100644 --- a/Recipe +++ b/Recipe @@ -51,10 +51,12 @@ lightup : [X] gtk COMMON lightup solosolver : [U] solo[STANDALONE_SOLVER] malloc patternsolver : [U] pattern[STANDALONE_SOLVER] malloc mineobfusc : [U] mines[STANDALONE_OBFUSCATOR] malloc random tree234 misc +slantsolver : [U] slant[STANDALONE_SOLVER] dsf malloc solosolver : [C] solo[STANDALONE_SOLVER] malloc patternsolver : [C] pattern[STANDALONE_SOLVER] malloc mineobfusc : [C] mines[STANDALONE_OBFUSCATOR] malloc random tree234 misc +slantsolver : [C] slant[STANDALONE_SOLVER] dsf malloc # The Windows Net shouldn't be called `net.exe' since Windows # already has a reasonably important utility program by that name! -- cgit v1.1