Replication Package for 'Choosing What Counts – Exploring Algorithm Selection for Model Counting'

Reproduce as4moco run on already trained ML models

1. Install as4moco (see installation guide)
2. Run analysis for each ML model on multiple instances (method runNormalMultiple in as4moco Main)
3. Extract all results to csv using ReRunEvalExtractor

Train new ML models

1. Install as4moco (see installation guide)
2. Create a training script similar to Fold 1
3. Add your user configuration to the Facade, e.g. for only SATzilla Feature Extraction as used in our eval:
   Line 55: cs = self.af.get_cs(self.scenario, {"allowed_feature_groups":["Satzilla-BASE", "Satzilla-SP", "Satzilla-DIA", "Satzilla-CL", "Satzilla-UNIT", "Satzilla-LS", "Satzilla-LOBJOIS", "Satzilla-LP"]})
   or none for a standard configuration
4. Use the generated model in other analyses