OSHL-S v0.5.0 User Manual

Compiling

1. Make sure that the bin directory of JDK is in PATH
2. Go to the directory where source files are extracted
3. Run: javac -d . -sourcepath src src/logic/main/function/*.java

Installing

1. Run: jar -cmf src/MANIFEST.MF oshls.jar *
2. Copy oshls.jar to any directory for installation

Running

Format of input files

The input format is tptp. There is a built-in Skolemizer in OSHL-S but some times it is not very efficient. You might want to try to transform the input file into the clausal form using other tools.

Command line

java -jar oshls.jar %s [timeout=%d] [typeinference=true|false]
%s is the input file
%d is measured in milliseconds

Output

Standard error: status and statistics.
Standard output: verbose status and statistics.