adding shortcut for execution if all variables are populated at the b…

…eginning

Supporting use of context.Context to time out execution of the solver

Implementation of generics, refactoring, documentation and readme cha…

…nges