This is a Haskell stack project that implements the extended formalization of our theoretical concepts from our paper "Classifying Edits to Variability in Source Code". A detailed explanation and comparison to our formalization in the paper is given in our appendix.
Hardware and software requirements are described in REQUIREMENTS.md.
Build instructions are given in INSTALL.md.