Invokes MleanCoP (http://www.leancop.de/mleancop/), a compact automated theorem prover
for modal first-order logic based on the clausal connection calculus. It checks whether a given formula is valid.
NOTE: Make sure to set the PROVER_PATH variable in the mleancop.sh script to the location
of the mleancop files (= the Prolog files).

Methods inherited from class java.lang.Object

Field Detail

scriptLocation

private java.lang.String scriptLocation

String representation of the mleancop.sh path.
This shell script specifies the prolog system, prover location and modal logic (D, T, S4 or S5)
and domain (constant, cumulative or varying) that will be used.
NOTE: Make sure to set the PROVER_PATH variable in the mleancop.sh script to the location
of the mleancop files (= the prolog files).