Downloading KiCS2

The KiCS2 distribution runs on Unix-based platforms and has been developed and tested under Linux (Debian/Ubuntu). However, it should also run under similar platforms like SunOS or Mac OS X. If you want to install and run the complete system on your computer, you need a Haskell implementation, in particular the Glasgow Haskell Compiler and Cabal, a Haskell package management system. For instance, if you run Ubuntu Linux, you can easily install these packages by

  sudo apt-get install ghc cabal-install

Now you can install KiCS2 by unpacking the distribution file and running "make":

  tar xvzf kics2-<version>.tar.gz
  cd kics2-<version>
  make

Further information can be found in the installation instructions.

Development release:

Look into the release notes to see what has been changed in the this release.

KiCS2 Version 2.0.3-b1 (23/11/18): kics2-2.0.3.tar.gz kics2-2.0.3-manual.pdf

Current release:

KiCS2 Version 2.0.0 (23/11/18): kics2-2.0.0.tar.gz kics2-2.0.0-manual.pdf

Older releases without type classes:

KiCS2 Version 0.6.0-b15 (04/07/18): kics2-0.6.0.tar.gz kics2-0.6.0-manual.pdf
KiCS2 Version 0.5.1 (10/04/17): kics2-0.5.1.tar.gz kics2-0.5.1-manual.pdf
KiCS2 Version 0.5.0 (11/04/16): kics2-0.5.0.tar.gz
KiCS2 Version 0.4.1 (02/10/15): kics2-0.4.1.tar.gz
KiCS2 Version 0.4.0 (26/08/15):
(with new Haskell-like record syntax!)
kics2-0.4.0.tar.gz
KiCS2 Version 0.3.3 (17/02/15): kics2-0.3.3.tar.gz
KiCS2 Version 0.3.2 (19/09/14): kics2-0.3.2.tar.gz
KiCS2 Version 0.3.1 (08/07/14): kics2-0.3.1.tar.gz
KiCS2 Version 0.3.0 (11/09/13): kics2-0.3.0.tar.gz
KiCS2 Version 0.2.4 (11/07/13): kics2-0.2.4.tar.gz
KiCS2 Version 0.2.3 (28/02/13): kics2-0.2.3.tar.gz
KiCS2 Version 0.2.2 (04/12/12): kics2-0.2.2.tar.gz
KiCS2 Version 0.2.1 (11/09/12): kics2-0.2.1.tar.gz
KiCS2 Version 0.1 (16/12/11): kics2-0.1.tar.gz