Updating version numbers
Fixing Logicat Solver