A multi-objective optimizer for attributed feature models with quality attributes and optimization objectives expressed in Clafer.
Home Page:http://clafer.org
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool