Leo-III version 1.7.15.
Minor updates:
- Fixes relating to correct SZS status reporting
- Updated versions of scala library and other dependencies
- Updated embedding runtime for NCL reasoning
- Support for the TPTP $distinct predicate (experimental)
This version is used in CASC-J12 (http://tptp.org/CASC/J12/).