Read Me

=================================================
=		Tiger Solver			=
=================================================
For running tiger solver just put you in src/, 
give a 

make

this will create a bin file called tigersat.
This bin accept two parameters, the first one is 
the name of the file where is the cnf expression;
the other one is a seed for the pseudo-random 
number
As this example:

./tigersat xxx 123312

Thank you for using tiger solver, if u find bugs
or wanna give an hand on develop this software
contact us at sl4rt1b4rtf4s@gmail.com
or in the sourceforge page, that will come soon!