KBStatistics

Migrated to https://github.com/manleviet/CA-CDR-V2

A Knowledge Base Statistics Tool

Features

The tool prints out statistics of given knowledge bases, which are as the following:

1. General statistics

• The knowledge base name
• The knowledge base source
• Number of variables
• Number of constraints
• Number of Choco variables
• Number of Choco constraints
• The consistency of the knowledge base

2. Statistics for feature model

• The CTC ratio
• The number of features
• The number of relationships
• The number of cross-tree constraints
• The number of MANDATORY relationships
• The number of OPTIONAL relationships
• The number of ALTERNATIVE relationships
• The number of OR relationships
• The number of REQUIRES constraints
• The number of EXCLUDES constraints

Supports the following knowledge bases

• Feature Models from SPLOT, FeatureIDE, Glencoe, and other tools. You can find some feature model examples in here.
• PC and Renault from https://www.itu.dk/research/cla/externals/clib/

Dependencies

• ChocoKB v1.2.11
• fm v1.2.9
• common v1.2.4