Release Notes: This release fixes several crashes with malformed input that were reported to Debian by the Mayhem team. It has updates for new releases of GCC, CMake, and Games-Solitaire-Verify. It adds the experimental "pseudo-DFS" solver. There are some cleanups, modernizations, and optimizations.
Release Notes: A bugfix when handling input without a trailing newline ('\n'). A new preset "-l video-editing", or "-l ve" for short, which yields relatively shorter solutions on average.
Release Notes: The Windows NSIS package should now build, install, and run properly. A bug in command line option processing was fixed.
Release Notes: The Win32/MinGW build process was fixed.
Release Notes: This release adds a major speed optimization to the Simple Simon solving code, a "qualified-seed-improved" ("qsi" for short) preset for shorter solutions, and many cleanups, refactorings, and optimizations.
Release Notes: Options have been added to help reduce the average solution length ("--flares-choice" and "--flares-iters-factor"). There are two new presets for doing that. This release adds a memory optimisation for flares-based presets.
Release Notes: This release adds a sixth Best-first-search weight of the negated number of cards not above their parents, implements "random-dfs" ordering based on this a-star weight, adds several new commandline themes ("-l as" for speed, and "-l mf" for short solutions), implements "DeBondt" state encoding for the dbm_fc_solvers, and implement a prune for Baker's Dozen and similar games. It drops support for compiling with Microsoft Visual C++ and other non-GCC-compatible compilers.
Release Notes: This release adds the --show-exceeded-limits flag for less ambiguous input. It has a fix for misbehaviour with using "-sp r:tf" in conjunction with "-opt". It adds the "three-eighty" preset. Some enhancements have been made to the so-called "dbm_fc_solver" and a new "fcc_fc_solver", based on Fully Connected Components. Support has been added for building and testing the distribution in an out-of-tree build.
Release Notes: This release fixes the "--max-iters" flag and the empty foundations in input. It adds an experimental delta states implementation and a corresponding dbm_solver. There are many small optimizations and cleanups.