Leo-III version 1.7.

Minor updates:

• Fixes around ground arithmetic support
• Updated versions of scala library and other dependencies
• Updated embedding runtime for NCL reasoning

This version was used in CASC-J11 (http://tptp.org/CASC/J11/).