Skip to content

This project allows to encode uvl feature models in pseudo-boolean constraint logic.

Notifications You must be signed in to change notification settings

st-vi/pseudo-boolean-uvl-encoder

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

pseudo-boolean-uvl-encoder

This project allows to encode uvl feature models in pseudo-boolean constraint logic.

dependencies

needs the java-fm-metamodel project. If it is up to date in the maven repo no manual steps are needed. If not build and install it in your local maven repo:

https://github.com/Universal-Variability-Language/java-fm-metamodel mvn install:install-file -Dfile=fm-metamodel-1.1-jar-with-dependencies.jar -DgroupId=de.vill -DartifactId=fm-metamodel -Dversion=1.1 -Dpackaging=jar

building

build a jar that contains all dependencies: mvn clean compile assembly:single

About

This project allows to encode uvl feature models in pseudo-boolean constraint logic.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages