We are in beta testing for the next release. This release includes auto-saving progress on puzzles so they can be revisited at a later date. It also includes about 20 new puzzles that focus on expanding the exploration of Boolean Algebra through Equation Sets. And finally, many more puzzles have hints added and their descriptions updated.
Hopefully the testing is smooth so we can release soon.