IC3: Source Code

IC3 is developed in Java using Maven for build automation and Git for revision control. In order to contribute to the IC3 project, you first need to ensure that both Maven and Git are installed on your system.

In order to dowload and build the source for IC3, you can proceed as follows:

% git clone https://github.com/siis/ic3.git
% cd ic3
% mvn clean package -P standalone
Then you can follow the instructions from the usage page to execute the Jar file, which will be placed in the target subdirectory.

For any questions or issues with the source code of IC3, please file an issue at the issue tracker.