You can edit this project here. Please include a reason for your changes. This helps us to validate the changes. The changes will take effect as soon as possible after we have checked their validity.
Prop4J is a library for arbitrary propositional formulas based on Sat4J. In this case study Prop4J has been transformed into a product line. It was a student project for a lecture about software product lines at Otto-von-Guericke University Magdeburg, Germany.
Number of features
Lines of code
Number of classes
Number of products
Reason for change
Email: (not visible)
Please type the abbreviation for software product line: