Since KMCC compiles to Haskell, a Haskell implementation is required to install KMCC. An appropriate Haskell compiler is downloaded by Haskell Stack during the installation process. Thus, this build tool is required to be installed on your system. For instance, if you run Ubuntu Linux, you can easily install this tool by
sudo apt-get install haskell-stack
Now you can install KMCC by unpacking a
distribution file and running make:
tar xvzf kmcc-<version>.tar.gz cd kmcc-<version> make
The installation takes some time (10-15 minutes) since the complete KMCC system (including compiler, interactive REPL, Curry Package Manager) will be compiled with the Glasgow Haskell Compiler.
In order to solve arithmetic constraints, as discussed in the
description of KMCC,
the SMT solver
Z3
must be installed.
Otherwise (i.e., if the executable z3 is not in the PATH),
KMCC emits a run-time error (with a hint to install Z3)
whenever a value of a free variable is required to solve an arithmetic
constraint.
| Version | Distribution file |
|---|---|
| KMCC Version 0.8.0 (2026-10-09): | kmcc-0.8.0.tar.gz |
| KMCC Version 0.6.0 (2026-07-23): | kmcc-0.6.0.tar.gz |