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!
Directions for Visual Studio 2013
These instructions were tested in Visual Studio 2013.
From this website download "SymbolicC++3 3.35 for Visual C++"".
Unzip the archive.
Double click the file
SymbolicC++3\SymbolicC++3.sln
. This is the Microsoft Visual Studio Solution.The Review Project and Solution Changes window will appear. Click OK.
Press CTRL-SHIFT-B to build the solution.
Create an example project
In the Solution Explorer, right click the solution, and select "Add" -> "New Project".
Select "Win32 Console Application".
Name your project "Example". Click OK.
In the "Win32 Application Wizard" click Next. Click Finish.
In the Solution Explorer, right click on the Example project and select "Set as StartUp Project".
In the Solution Explorer, right click on the Example project. Select "Add -> References...". Click the 'Add New Reference' button. Check the "SymbolicC++3" project. Click OK. Click OK.
In the Solution Explorer, right click on the solution, select "Configuration Manager...".
Change the configuration for "Example" to "Release".
Change the configuration for "SymbolicC++3" to "Static".
Click "Close".
In your Example.cpp source file, enter this example program:
Press 'F5' to run the program.
These instructions were tested in Visual C++ 2010 Express.
From this website download "SymbolicC++3 3.35 for Visual C++"".
Unzip the archive.
Double click the file
SymbolicC++3\SymbolicC++3.sln
. This is the Microsoft Visual Studio Solution.The Visual Studio Conversion Wizard will start. Click Next.
At the "Choose Whether To Create Backup" step, click Next.
At the "Ready to Convert" step, click Finish.
At the "Conversion Complete" step, click Close.
Press 'F7' to build the solution.
At this point you might receive many errors in the Output window. If so, edit the file
Program Files (x86)\Microsoft Visual Studio 10.0\vc\include\xlocmon
and change line 410 from:to
and press 'F7' to begin the build again. See this StackOverflow question for more discussion about this problem and workaround.
Create an example project
In the Solution Explorer, right click the solution, and select "Add" -> "New Project".
Select "Win32 Console Application".
Name your project "Example".
In the "Win32 Application Wizard" click Next. Click Finish.
In the Solution Explorer, right click on the Example project and select "Set as StartUp Project".
In the Solution Explorer, right click on the Example project. Select "References...". Select "Add New Reference...". The "SymbolicC++3" project should be selected. Click OK.
Click OK.
In the Solution Explorer, right click on the solution, select "Configuration Manager...".
Change the configuration for "Example" to "Release".
Change the configuration for "SymbolicC++3" to "Static".
Click "Close".
In your Example.cpp source file, enter this example program:
Press 'F5' to run the program.