rio 1.2

Version 1.2 of rio

Changes:

• Fixed basic and basic reusable output (out2 and out4) using enumeration of minimal unsatisfiable subset (MUS) enumeration
• Adjusted input syntax according to new TPTP non-classical logic standard (see https://tptp.org/NonClassicalLogic/)
• Switched input syntax from THF to TFF.
• Added more examples and improved README.

rio 1.1

Version 1.1 of rio

Changes:

• Improved output simplification
• Changed SZS reporting according to Geoff's advice
• Added DOI to README

rio 1.0

First public release of rio: the reasoner for input/output logics.

See README for details and usage information