Giters

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.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

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.

License:GNU General Public License v3.0

Languages

Language:Python 99.8%Language:Shell 0.2%