Wheeling Systems Checker 5.1.4
This is the most powerful version of the software. The code has been rewritten from scratch to take advantage of all the improvements made available by the new version of the Microsoft .Net 7 framework.
Unfortunately, this has led to making some compromises. For example, the software cannot operate on Windows Vista and is currently only available in the 64-bit version.
System requirements
Operating system: Windows 7 SP1, Windows 8, Windows 8.1, Windows 10, Windows 11.
Architecture: 64-bit
RAM: 2GB minimum, 16GB+ recommended
Downloads
V. 5.x,
login and then click "
Account" -> "
Download"
PDF manual in English
What's new (please read the manual for more details)
Version 5.1.4
- New feature - Filename templates
Quickly save your systems with automatically generated names based on customizable patterns
- Minor bug fixes
Version 5.1.3
- Fixed a bug introduced in v. 5.1.0 that could cause an error when using the Shrinking Tools under certain conditions. Many thanks to RenzoDB for reporting it
- Minor bug fixes
Version 5.1.2
- Fixed a bug introduced in v. 5.1.0 that caused an error when using Shrinking tools in systems with one or more zero covering blocks. Many thanks to RenzoDB for pointing it out
Version 5.1.1
- Shrinking tools - Fixed a bug that, in some cases, caused the program to display an incorrect number of uncovered blocks
Version 5.1.0
- Shrinking tools - They can now easily be used to improve systems that are not 100% covered (subject to prior verification of the system)
- Preferences - New optional feature to infer the value of V and K when loading a system from a TXT file (disabled by default)
- Covering tools - Maximum value of x in "Deep search options" is now 5, was 3
- Repositioning of the Resize buttons in the Covering Tools and Shrinking Tools
Version 5.0.9
- Fixed a bug that caused coverage analysis to perform slowly on systems with v <= 64
- Minor bug fixes
Version 5.0.8
- Shrinking tools - Further speed improvements for systems with k > t and m > t
Version 5.0.7
- Shrinking tools - Speed improvements
- Minor bug fixes
Version 5.0.6
- Coverage analysis - Speed improvements
- Tools -> Search coverage improvements - Speed improvements
- Minor bug fixes
Version 5.0.5
- Tools -> Search best covering blocks - You can now open the search results in Notepad
- Covering Tools - Visualization, after each improvement, of the remaining numbers in the uncovered blocks
- Covering Tools -> Deep search options - New option to set a maximum number of improvements
- Covering Tools - New Resize button to quickly resize the form
- Covering Tools - Speed improvements
- Shrinking Tools - New Resize button to quickly resize the form
- Minor bug fixes
Version 5.0.3
- New option available in Covering Tools to hear a sound whenever an improvement is found
- Text in the grids turns red/green when you click delete/add buttons
- Minor bug fixes
Version 5.0.2
- New additional options available for Shrinking Tools
- Normalize your system from menu System -> Normalize system
- New 'Cancel' option available, in addition to 'Yes' or 'No', when the system has changed and you click New System, Open System or close the program
Version 5.0.1
- Bug fix. The update of 'Blocks to analyze' label was not properly handled when using Tools -> Search coverage improvements
Version 5.0.0
- Completely rewritten in C# on .Net 7
- Architecture: 64-bit only
- Maximum V value is 99
- New and faster method to check the systems. Many thanks to Stefano de Martino for sharing his idea
- Installs side by side with version 4.x.x
Wheeling Systems Checker 4.0.5 is the software you can use if you want to check/analyze/improve your coverings.
It comes with some handy features like coverage analysis, coverage improvements, best covering blocks, system analysis, improved covering tools (subscribers only), shrinking tools (subscribers only) and more...
System requirements
Operating system: Windows Vista SP2, Windows 7 SP1, Windows 8, Windows 8.1, Windows 10, Windows 11.
Architecture: 32/64-bit
RAM: 2GB minimum, 4GB+ recommended
NOT WORKING on Windows XP
Downloads
V. 4.x,
login and then click "
Account" -> "
Download"
Wheeling Systems Checker 3.8.3 - Subscribers only
Wheeling Systems Checker 3.8.0.1 - Free
What's new
Version 4.0.5
- Fixed a bug in "covering tools" which could lead to missing improvements when "x" parameter in deep search options was greater than 1
- New additional option to play a sound in "covering tools" when systems are 100% covered
Version 4.0.4
- Improved speed of "covering tools"
- Minor bug fixes
Version 4.0.3
- Improved "covering tools"
- Open uncovered blocks in Notepad
- The pause button also pauses the timer
- New method to calculate blocks weight
- Minor bug fixes
Version 4.0.0
- First release of "shrinking tools"
- Maximum K value is now 25
- Requires an Internet connection
- Requires a valid subscription
- Installs side by side with version 3.8.x
Version 3.8.3
- Fixed a bug in Improve coverage feature (also valid for version 3.8.0.1 free edition)
- New option in "covering tools" to automatically replace systems blocks
- Maximum V value is now 63
Version 3.8.2
- Slightly improved "covering tools" speed
- Added the option to save systems as inverse
- Maximum K value is now 20
Version 3.8.1
- First release of "covering tools"
Wheeling Systems Validator 2.0.7 is the program you need if you want to upload your coverings.
Please note
Starting from version 2 the download is only available to users with a valid subscription.
System requirements
Operating system: Windows Vista SP2, Windows 7 SP1, Windows 8, Windows 8.1, Windows 10, Windows 11.
Architecture: 32/64-bit
RAM: 2GB
NOT WORKING on Windows XP
Downloads
V. 2.x,
login and then click "
Account" -> "
Download"
PDF manual in English
What's new
Version 2.0.7
- Up to 6 systems can now be used in union construction
- Fixed a bug in union construction that did not allow the use of systems with t=m. Many thanks to Alessandro Brozzetti for pointing it out
Version 2.0.6
- Fixed a bug that could lead to unexpected program crashes when attempting to verify large systems with k=t
Version 2.0.5
- New feature - Union construction (see manual for more details)
Version 2.0.4
- New feature - Multiple uploads (see manual for more details)
- Great speed improvements for systems with k=t and t=m
- Small speed improvements for systems with k>t and t<m
Version 2.0.3
- Code changes to sligthly improve speed for systems with k>t and t<m
- The pause button also pauses the timer and changes to red the progress bar colour
Version 2.0.2
- Fixed a bug which in some cases could raise an unhandled overflow exception. Many thanks to Alessandro Brozzetti for pointing it out
Version 2.0.1
- Fixed a bug related to systems with a large number of blocks covered by a single block. Many thanks to edi8 for pointing it out
- Updated manual
Version 2.0.0
- Improved speed on almost every type of system
- Fixed a bug related to small systems with K=T or T=M. Many thanks to Terenzio Lazzarotto for pointing it out
- Fixed a bug related to systems with V>63 and unchecked "Use parallel" option
- Installs side by side with version 1.1.x
Covering Repository Archive
Download the whole archive in .txt format
If your download doesn't start immediately, it means the archive is regenerating. Please wait a few seconds.