Release Notes: This release fixes a memory initialization bug that becomes apparent in --read-from-file and a bug that relates to counting iterations.
Release Notes: A fix for a resuming an optimization scan, and changing some C++-style comments to C ones.
Release Notes: A fix was made for the Simple Simon solving algorithm, and minor updates were made to the documentation.
Release Notes: A memory initialization problem in reading the board file was fixed. Two generated headers are now excluded from the distribution.
Release Notes: This release adds fixes to get the code to compile cleanly with Mingw32.
Release Notes: A new program for solving a range of boards with several instances, and a bugfix for handling the USR1/2 signals.
Release Notes: Flawless scan suspend/resume.
No changes have been submitted for this release.
Release Notes: This release contains a small fix for a Simple Simon move that generated bad solutions.
Release Notes: A fix for a potential (but rare) segfault caused by freeing memory twice.