Manual
The .pdf versions of SNARK14 manual can be dowloaded from here:
If you do not have Acrobat Reader, you may download it from here
SNARK14 Installation
We provide a VirtualBox version of SNARK14.
If you do not have VirtualBox installed, then download and install the
VirtualBox platfom package that is appropriate for your operating system from:
To use SNARK14, you need to download and save the file CentOSwithsnark.zip. You can initiate this process by clicking on:
After you downloaded the zip file, you need to unzip it. (Note that some unzipping tools may not be compatible with the provided zip file; in case of problems, a different tool should be used for the extraction.)
After this you should have in the directory in which you unzipped CentOSwithsnark.zip access to two additional files: CentOS.vmdk and CentOS.vbox.
Clicking on CentOS.vbox should result in generating a Virtual Machine named CentOS+SNARK14.
You should now initiate this (for example, by clicking on its name in the Oracle VM VirtualBox Manager). After this you may receive some warning/error message that should be ignored (for example, by clicking on OK whenever that option is available). The same instruction is valid regarding warning/error messages that occur as a result of doing steps that are recommended below on this page.
This should result in a window (we refer to it below as the virtual machine) with a header such as:
- CentOS+SNARK14(Running)-Oracle VM VirtualBox.
The window was configured to occupy a large region of the screen; however, you may wish to adjust the size of the display panel in the virtual machine by clicking on System, Preferences, Display and selecting a new Resolution.
You should now be able to run SNARK14 (by opening a terminal in the virtual machine and typing snark14 in that terminal) and also its Graphical User Interface utilities (snark14Input and snark14Display).
In order to avoid corruption of the Virtual Machine named CentOS+SNARK14 between its consecutive uses, it is important that it is shut down using the menus provided inside the virtual machine. A currently working set of details is as follows:
- Click on the icon Desktop (typically on the right of the virtual machine desktop)
- Click on Leave in the panel that pops up
- Click on Turn Off Computer
- Wait until the virtual machine turns off
Verifying Installation:
If SNARK14 is correctly installed, then there should be a snark14Examples folder in the Desktop directory.
To check that SNARK14 is installed properly, you need to open a terminal in the virtual machine and type the following:
cd ~/Desktop/snark14Examples
./run_all
./regression
For a proper installation, SNARK14 should report "No differences found" for each of the examples b1 to b11.
Sharing files between the host system and the virtual machine
A directory in the virtual machine can be shared with the host operating system. The method for setting up such a shared directory is as follows.
1. Select “Shared Folders” under the menu Devices of the virtual machine.
2. A window called CentOS+SNARK14 - Settings should pop up with the header Shared Folders.
3. There is an option of “Add Shared Folder” (on some systems this is indicated by a green plus sign) in the above window. Clicking on the icon for that results in the opening of a new window with the header “Add Share.”
4. Now you have to specify the Folder Path and the Folder Name. The Folder Path is that to the to-be- shared directory on the host computer and the Folder Name refers to the name to be assigned to the shared folder in the virtual machine.
5. Also, there are options present for Read-only, Auto-mount, and Make Permanent. We suggest that you enable the options for Auto-Mount and Make Permanent, so that this process need not be repeated every time the VirtualBox is started.
6. Restart the system by rebooting the Virtual Machine. You can do this by executing the reboot command in a terminal.
7. Now, to check whether or not the shared directory is created, open the “Computer” directory present on desktop of virtual machine and open “media.” The shared folder must be present in this directory with the name as: sf_name, where name is that of the shared folder specified above in virtual machine.
8. A link of this shared directory can be created on the desktop of virtual machine. This can be done by using a terminal. Open a terminal, and type the following command:
ln -s /media/sf_name ~/Desktop/Name
Here, Name is the name of the folder that will be created on the desktop of virtual machine that is linked with the shared folder present in media.