Skip to content
Branch: master
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
bin
data
doc
script
README
README_old_LTB08.txt
RunLTB.pl
RunMZT12.pl
TheoryLearner.pl
TheoryLearnerDev1.pl

README

MaLARea for CASC MZT 2012, version 0.4

Run it as ./RunMZT12.pl with two arguments - see the SYNOPSIS in RunMZT12.pl 
for their description.

Requirements:

- Linux
- sufficiently large /dev/shm (2G is good, it should be more than the 
  size of all MIZ files with expanded includes)
- following commands should be the appropriate executables:
  - swipl  ... starts SWI Prolog
  - sha1sum ... the Linux sha1sum checksum
  - cat, grep, sed, perl, tee, etc.

This is a complex beast, strange things can happen - please report them.

LICENCE:

The TheoryLearner.pl and the scripts are GPL, the files in the bin/ directory 
are distributed under whatever licence they allow (usually GPL, don't know
for TPTP tools, SNoW has a special licence).

Josef Urban

You can’t perform that action at this time.