Dominosa: rewrite the solver.

Browse Source

The new solver should be equivalent to the previous solver's
intelligence level, but it's more usefully split up into basic
data-structure maintenance and separate deduction routines that you
can omit some of. So it's a better basis to build on when adding
further deductions or dividing the existing ones into tiers.

The new solver also produces much more legible diagnostics, when the
command-line solver is run in -v mode.

...

This commit is contained in:

Simon Tatham

2019-04-02 21:08:43 +01:00

parent f1c8e4092c

commit 82ee3d42a4

1 changed files with 558 additions and 349 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

907

dominosa.c

File diff suppressed because it is too large Load Diff