Commit a73d41b8 authored Jul 07, 2017 by Andreas Klöckner

Merge branch 'symengine' into 'master'

Update symengine to 0.3.0

See merge request !44