groupId ${groupId}
artifactId ${artifactId}
version ${version}

Project: ${name}
Short description: ${description}
URL: ${url}

Developing
    Please see the SKETCH website above for all development notes.

Running
    >>> sketch -h

Packaging with backend -- replace the "../sketch-backend" with whereever you have the backend project.
    >>> mvn assembly:assembly -Dsketch-backend-proj=../sketch-backend

Troubleshooting
    - Make sure you have Java 1.6.0 or later installed. Try this with "java -version".

About

Other

Languages

Language:Java 83.1%Language:Promela 3.4%Language:C 3.1%Language:C++ 3.1%Language:Python 2.2%Language:Shell 1.2%Language:GAP 1.1%Language:Fortran 0.9%Language:NSIS 0.5%Language:HTML 0.5%Language:Vim Script 0.4%Language:Makefile 0.3%Language:Awk 0.2%Language:Jinja 0.1%Language:TeX 0.0%Language:Nix 0.0%Language:SMT 0.0%Language:Batchfile 0.0%