zakarya/puzzles
1
0
Fork 0
mirror of git://git.tartarus.org/simon/puzzles.git synced 2025-04-21 08:01:30 -07:00
Code Issues Packages Projects Releases Wiki Activity

A bunch of new reasoning techniques in the Slant solver, leading to

Browse Source 
a new Hard mode. Also added a command-line `slantsolver' which can
grade puzzles and show working.

[originally from svn r6167]
This commit is contained in:
Simon Tatham
2005-08-06 10:24:52 +00:00
parent c321a88408
commit 8392232d57
2 changed files with 755 additions and 112 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Recipe
View File

@ -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!

865
slant.c
View File

File diff suppressed because it is too large Load Diff