Please refer to the website for information on how to use the software : http://jstoecker.github.io/cspace/

When cloning the repository, be careful that you also initialize the submodules that the code depends on. The easiest way to download the source is using the recursive flag:

$ git clone --recursive git://github.com/jstoecker/cspace.git

You must have Apache Ant and a Java Development Kit (JDK) installed. After you have cloned the repository, enter the cspace directory and run ant to compile:

$ cd cspace

$ ant

You should see output placed in the bin/ directory.