Library to provide basic backtracking facilities.

This library is supposed to provied basic backtracking facilities. 
 We would make it support parallel computing paradigms.