This is the accompanying material for the paper:
- Lash 1.0 (System Description)
by C. Brown, C. Kaliszyk
- Lash 1.0 is available here: lash-1.0.tgz.
Assuming one has ocaml, make, etc., compiling it is standard:
./configure
make
- Test scripts for running Lash and Satallax for comparisons, along with a few extra problems mentioned in the paper but not in the TPTP.
External resources:
- Satallax 3.4 is available at Michael Färber's Satallax page.
We also make it available here.
- The TPTP v7.5.0 is available here: TPTP v7.5.0 (at tptp.org). The TPTP is large and contains many problems that are not THF. For convenience, we make a smaller version only containing THF problems available here.