Sources
If the binaries don’t work for you, you can also download the C++-sources. A common error using the binaries is an JAVA exception after calling “Model Checking” or “Search Counterexample” inside the GUI. If this occurs, please download the sources and compile the C++-sources in order to have binaries and JNI libraries suited to your own system. However, the Windows binaries should work on any Microsoft Windows 7 system.
A short instruction on how to compile the sources can be found inside the included README file. For more detailed instructions please have a look at the user manual.
In case of ANY questions or remarks, please contact Nils Jansen.
COMICS Binaries
- Linux Binaries
After downloading, you have to extract the files and change into the directory comics-1.0 . If you have a 64 bit Debian system, you can start the command-line tool by running
./comics.sh
If you have 32 bit Debian system, you have to run
./comics_32.sh
The GUI is started by the bash script
xcomics.sh
Please make sure that all files are marked as executable! - Windows Binaries
After downloading, you have to extract the files and change into the directory comics-1.0_win.
You can start the command-line tool from the Windows console by executing
comics.exeThe GUI is started by
xcomics.bat - MAC OS Binaries
After downloading, you have to extract the files and change into the directory comics-1.0_mac. You can start the command-line tool from the terminal by typing
./comicsThe GUI is started by
./xcomics