I just uploaded 0.3.1.dev1 wheels to PyPI, because I wanted to try out wheels with llvm libraries linked in. pip install symengine=0.3.1.dev1 should install them. Try them out and let me know if they work or not
@isuruf Do we wish to keep the solvers project as a GSoC 2018 Idea? I believe Trigonometric and Polynomial solvers were pretty much done. Ranjith had mentioned that about a week or two's work was remaining regarding the Polynomial Interop (but that seems to be covered under Sumith's Idea for Polys).