Maxwalkeys

Initial Release - 2/25/2008

Maxwalkeys is a model-prediction program similar to Keys, but following the algorithm established by Maxwalksat. 

To run:
make model=<int> Bin=<path>
cd <path>
./maxwalkeys -maxtries <int> -maxchanges <int> -cost <float> -attainment <float>