Explain search based solver
Explain search based solver

Signed-off-by: AMiT Kumar <a9f82ad3e8c446d8f49d5b7e05ec2c64a9e15ea9@gmail.com>

maniteja123/sympy,yashsharan/sympy,yashsharan/sympy,oliverlee/sympy,kaushik94/sympy,wanglongqi/sympy,Davidjohnwilson/sympy,wanglongqi/sympy,ahhda/sympy,postvakje/sympy,jerli/sympy,kaichogami/sympy,madan96/sympy,hargup/sympy,madan96/sympy,Titan-C/sympy,souravsingh/sympy,Titan-C/sympy,kaichogami/sympy,ga7g08/sympy,Curious72/sympy,kaushik94/sympy,mafiya69/sympy,skidzo/sympy,ahhda/sympy,postvakje/sympy,lindsayad/sympy,aktech/sympy,lindsayad/sympy,sampadsaha5/sympy,ChristinaZografou/sympy,Shaswat27/sympy,kaichogami/sympy,drufat/sympy,mcdaniel67/sympy,drufat/sympy,ahhda/sympy,Curious72/sympy,mcdaniel67/sympy,Titan-C/sympy,madan96/sympy,Shaswat27/sympy,postvakje/sympy,chaffra/sympy,skidzo/sympy,oliverlee/sympy,oliverlee/sympy,Shaswat27/sympy,aktech/sympy,jaimahajan1997/sympy,ChristinaZografou/sympy,Davidjohnwilson/sympy,jaimahajan1997/sympy,rahuldan/sympy,souravsingh/sympy,hargup/sympy,ga7g08/sympy,sampadsaha5/sympy,chaffra/sympy,jerli/sympy,souravsingh/sympy,aktech/sympy,mcdaniel67/sympy,Arafatk/sympy,Curious72/sympy,Arafatk/sympy,mafiya69/sympy,wanglongqi/sympy,mafiya69/sympy,chaffra/sympy,kaushik94/sympy,rahuldan/sympy,Arafatk/sympy,rahuldan/sympy,jaimahajan1997/sympy,ga7g08/sympy,maniteja123/sympy,yashsharan/sympy,ChristinaZografou/sympy,sampadsaha5/sympy,drufat/sympy,lindsayad/sympy,jerli/sympy,hargup/sympy,skidzo/sympy,Davidjohnwilson/sympy,maniteja123/sympy