Symbolicc++库

link:

https://issc.uj.ac.za/symbolic/symbolic.html

使用SymbolicC++3 3.35 gzipped tar ，这个是只包含header file的库，生成静态库的版本SymbolicC++3 3.35 with GNU autoconf有问题。