splar

Software Product Lines Automated Reasoning library

A library that offers SAT and BDD-based components to reason on and configure feature models. SPLAR is the library that supports SPLOT (www.splot-research.org), a set of Software Product Lines Online Tools.