Capone: some examples
The following are some example language product lines built with Capone:
Measurements of size reduction of these examples w.r.t. an enumerative approach can be found here.
Measurements of the (lifted) instantiability analysis of these examples w.r.t. an enumerative approach can be found here.