VolCE is a tool designed for computing or estimating the size of the solution space of an SMT(LA) formula. If you are not familiar with VolCE, you can read the manual. It is licensed under the GNU General Public License.
Name | Description |
---|---|
release_64bit/ | Binary files compiled on Ubuntu 14.04 64-bit, including Z3, Vinci and LattE |
src/ | Sorce codes |
benchmarks.zip | The complete set of benchmarks |
build.sh | Shell for building VolCE |
COPYING | GNU GPL lincese |
makefile | makefile |
manual.pdf | Manual for VolCE |
vinci-1.0.5.zip | Source codes for a modified version of Vinci |
z3-master.zip | Source codes of Z3 |
This release of VolCE has been successfully built on the following operating systems:
- Ubuntu 18.04 on 64-bit with g++ 7.3.0
- Ubuntu 14.04 on 64-bit with g++ 4.8.4
- Ubuntu 12.04 on 32-bit with g++ 4.8.1
- Step 1: Make sure that g++ (version 4.8 or higher version) is installed on your machine (you can type "g++ -v" to check this).
- Step 2: The functionality of VolCE is dependent on some other libraries: boost, glpk, and Armadillo.
- Step 3: Execute:
sh build.sh
- Step 4: Build and install LattE. Then move the executable files (count and scdd_gmp) into directory bin/. For 64-bit user, one could copy count and scdd_gmp directly from compiled binary files.
Quick test, simply execute:
./volce3 -h
VolCE should pop up the help menu by this command.
Note: Move or copy volce3 with directory bin/ together since VolCE3 requires the tools in bin/.
Execute:
sudo apt-get install g++
sudo apt-get install libglpk-dev
sudo apt-get install libboost-dev
sudo apt-get install libarmadillo-dev
sh build.sh
Build and install LattE, then move the executable files (count and scdd_gmp) into directory bin/. For 64-bit user, one could copy count and scdd_gmp directly from compiled binary files.
Note: On older versions of Ubuntu, you may need install g++-4.8 (or higher version) by hand.
Please contact:
- Cunjing Ge (gecj@ios.ac.cn)
Enjoy!