simon-git: puzzles (master): Simon Tatham

Commits to Tartarus hosted VCS tartarus-commits at lists.tartarus.org
Mon Feb 26 21:11:06 GMT 2018


TL;DR:
  2270ee1 latin.c: dump every solution found during recursion.
  2adf005 towerssolver: always print solver diagnostics in -v mode.

Repository:     https://git.tartarus.org/simon/puzzles.git
On the web:     https://git.tartarus.org/?p=simon/puzzles.git
Branch updated: master
Committer:      Simon Tatham <anakin at pobox.com>
Date:           2018-02-26 21:11:06

commit 2270ee116d2c3ee406cb8c65ac58051664107c42
web diff https://git.tartarus.org/?p=simon/puzzles.git;a=commitdiff;h=2270ee116d2c3ee406cb8c65ac58051664107c42;hp=43b9eb1472d2a82e5369815511a9ae6681a61a08
Author: Simon Tatham <anakin at pobox.com>
Date:   Mon Feb 26 20:49:14 2018 +0000

    latin.c: dump every solution found during recursion.
    
    In solver_show_working mode, we were logging all the deductions,
    guesswork and backtracking, but not printing out the actual solution
    (if any) reached at the end of each branch of the tree.

 latin.c | 31 ++++++++++++++++++++++++-------
 1 file changed, 24 insertions(+), 7 deletions(-)

commit 2adf0052d66eae88c7a5e55e67fe16e13f7018b5
web diff https://git.tartarus.org/?p=simon/puzzles.git;a=commitdiff;h=2adf0052d66eae88c7a5e55e67fe16e13f7018b5;hp=2270ee116d2c3ee406cb8c65ac58051664107c42
Author: Simon Tatham <anakin at pobox.com>
Date:   Mon Feb 26 20:49:57 2018 +0000

    towerssolver: always print solver diagnostics in -v mode.
    
    The branch of the code that claimed the puzzle to be ambiguous was not
    also re-running the solver with diagnostics enabled, so that if a user
    tries to use this tool to hand-design a puzzle, they do not get
    feedback on what the multiple legal solutions actually are.

 towers.c | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)



More information about the tartarus-commits mailing list