|
CML2 is a configuration system, centered around a domain-specific minilanguage, that I originally wrote to replace the code that currently handles build-option selection for Linux kernels (that is, when you type `make config', `make menuconfig' or `make xconfig'). However, it is designed to be more generally useful for addressing complex configuration problems.
CML2 is a little language (actually, a domain specific language!), and is based on ideas from constraint satisfaction.
The language design is articulated in a paper that also talks about the experience of implementing CML2 in Python.
Posted to Logic/Declerative by Ehud Lamm on 11/9/01; 2:52:51 AM
|
|
CML2
