----------------------  MaLeS 1.2 ------------------------

Requirements: Python 2.7.x, Numpy (>= 1.6), Scipy (>= 0.10) (http://www.scipy.org/Installing_SciPy)

-- Installation of Satallax-MaLeS

1. Install Satallax 2.7 from Satallax/satallax-2.7.tar.gz
2. Run SatallaxConfig with the installation folder of Satallax as the location argument.
   ./SatallaxConfig.py --location=/home/daniel/satallax2.7
3. Learn the models
   MaLeS/learn.py --Setup=setup.ini
4. Test Satallax-MaLeS
   MaLeS/males.py -t 30 -p test/PUZ081^1.p


-- Installation of E-MaLeS

1. Install E1.7 from E/E.tgz
2. Run EConfig with the PROVER folder of the E installation as the location argument.
   ./EConfig.py --location=/home/daniel/E1.7/PROVER
3. Learn the models
   MaLeS/learn.py --Setup=setup.ini
4. Test E-MaLeS
   MaLeS/males.py -t 30 -p test/PUZ001+1.p


-- Finding new strategies

    - Setting the correct parameters
        1. Define the parameter space in the ATP.ini
        2. Check the settings in setup.ini. In particular the PROBLEMS parameter under search must be a file which contains the training problems.
        3. Define the start strategies in strategies.ini

    - The initial training run
        1. Run findStrategies
        MaLeS/findStrategies.py --Setup=setup.ini --ATP=ATP.ini --Strategies=strategies.ini

    - Run all promising strategies for a longer time.
        1. Adapt/Create a new setup.ini:
           under Settings:
           a) ResultsDir = aNewDir
           b) ResultsPickle = aNewDir/results.pickle
           c) TmpResultsDir = theOldResultsDir
           d) TmpResultsPickle = theOldResultsPickle
           where theOldXX is the value ResultsXX hold before.

           under search set
           a) Time = 300
           b) FullTime = True
           c) TryWithNewDefaultTime = True

        2. Run findStrategies.py again
        MaLeS/findStrategies.py --Setup=setup.ini --ATP=ATP.ini --Strategies=strategies.ini
        
-- Learning prediction functions
1. Run learn.py
   MaLeS/learn.py --Setup=setup.ini
2. Try your new MaLeS: 
   MaLeS/males.py -t 30 -p test/YourTestProblem