Removed literal_store in order to avoid memory leak and reduced encoding of Literals happening in the constructor itself. Instead encoding now happens at EncodedCNF only
Removed literal_store in order to avoid memory leak and reduced encoding of Literals happening in the constructor itself. Instead encoding now happens at EncodedCNF only

kaushik94/sympy,kaushik94/sympy,kaushik94/sympy