I have Symbolic C++ (the version that can integrate with V, there is no documentation on how to install it. I got it from this website and it has examples of how it work:
http://issc.uj.ac.za/symbolic/symbolic.html
Does anyone have any idea on how to install this to use with my projects in Visual Studio?
Maybe a late answer, but may still be useful for others.
For *nix systems:
There are two versions:
http://issc.uj.ac.za/symbolic/sources/SymbolicC++3-3.35.tar.gz
http://issc.uj.ac.za/symbolic/sources/SymbolicC++3-3.35-ac.tar.gz
Y opted for library. Now, extract the tarball and then, from the README file:
Here a simple example(from Wikipedia, do work!):
Visual studio
There is a special version for VS:
http://issc.uj.ac.za/symbolic/sources/SymbolicC++3-3.35-vc.zip
I hope this helps!