Corrected and extended handling of MAX_CLAUSE_LENGTH and LIT_TYPE.
IF MAX_CLAUSE_LENGTH is defined, then only "tawSolver" is compiled.
Update.
Data updates.