Updates on general plans on using the tau-function.
Making additionally "ttawSolver" available.

With elination of pure literals and using the tau-function.