The puzzle software can be found at the following link: Towers of Chicago The software was
programmed using Java 20; from here, the JDK installer
(Windows 10 version) can be downloaded.
Run this batch file after
installing Java. Also, adjust the High DPI
settings for the Javaw executable
located in the system folder. Here is the JDK
documentation. The original version of my
Towers of Chicago software won 5^{th} prize in
the Quest for
Java Contest.



Also, I wrote software that solves problems in Boolean Logic: Meta Theorem
Curiously enough, any statement
in mathematics can be reduced to a statement
of Boolean Logic. My treatment of Boolean Logic includes
64 variables,
truth constants, 6 operations, and perfect syntax
checking. Here is a list of
logical
sentences that can be used to test Meta Theorem.