CAOSD-group/fmsans

FMSans is a compilation technique for feature models to eliminate cross-tree constraints and analyze it without the need of a SAT or BDD solver.

This repository is not active