Hephaestus-FM Hephaestus module for description and reasoning on Feature Models Build To build and install dependencies, run $ stack build on project dir. Tests To execute the test suite, run $ stack test on project dir.