Prop4J

Propositional formulas for Java

Description: 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.

Generator: FeatureHouse

Authors: Fabian Benduhn

Institution: Otto-von-Guericke University Magdeburg

Language: Java

Development tool: FeatureIDE

Number of Features: 17

Lines of code*: 2051

Number of classes: 6

Number of products: 31

Repository:

Website:

License:

Upload date: 2012-05-24

Last updated: 2012-07-10

Download: Prop4J.zip