iCoDE Source Code
The source code for iCoDE (interactive Configurator with Decompositions and Explanations) is available here.
The code is built on top of Rune M. Jensen's CLab code.
Warning! This is snapshot of a research code. Although it should be easy to understand if one reads the Clab manual.