System JavaRes

JavaRes

People

Adam Pease, Stephan Schulz

Short Description

A simple resolution-based prover that is largely a translation of the PyRes prover, but in Java

Capabilities

• Proving
• Model finding

Input Language

Output

JavaRes conforms to TPTP3 and TPTP SZS

Proof Format

Official Page

https://github.com/ontologyportal/JavaRes

Other relevant information

JavaRes is open source

Status

Maintained

References

Pease, A., and Schulz, S., (2021). Learning Theorem Proving by Example - Implementing JavaRes, Proceedings of the ThEdu workshop at CADE-28. https://adampease.org/JavaResThEdu.pdf