<commit_before>{
    "backends": [
        {
            "id": "choco_single", 
            "label": "Choco-based (single-objective only)",
            "tooltip": "A new Choco-based solver, for single objective optimization only",
            "accepted_format": "choco",               
            "tool": "java",
            "tool_args": ["-jar", "$dirname$/ChocoSoo/claferchocosoo-0.3.6-jar-with-dependencies.jar", "--file=$filepath$"],
            "tool_version_args": ["-jar", "$dirname$/ChocoSoo/claferchocosoo-0.3.6-jar-with-dependencies.jar", "--version"],
            "optimization_options": {
                "set_int_scope" : {"label": "Max. integer:", "argument": "--maxint=$value$", "default_value": 127},
                "set_default_scope" : {"label": "Default scopes:", "argument": "--scope=$value$", "default_value": 25}
            }
        },
        {
            "id": "clafermoo_standard", 
            "label": "ClaferMoo", 
            "tooltip": "Classic Moo based on Alloy solver",
            "accepted_format": "clafer_source",                           
            "tool": "python", 
            "tool_args": ["$dirname$/ClaferMoo/spl_datagenerator/IntegratedFeatureModelOptimizer.py", "$filepath$", "--preservenames", "--donotexecutecompiler"],
            "tool_version_args": ["$dirname$/ClaferMoo/spl_datagenerator/IntegratedFeatureModelOptimizer.py", "--version"],
            "optimization_options": {
            }<commit_msg>Moved to the new combined ChocoIG backend<commit_after>{
    "backends": [
        {
            "id": "choco_single", 
            "label": "Choco-based (single-objective only)",
            "tooltip": "A new Choco-based solver, for single objective optimization only",
            "accepted_format": "choco",               
            "tool": "java",
            "tool_args": ["-jar", "$dirname$/ChocoSoo/claferchocoig-0.3.6-jar-with-dependencies.jar", "--file=$filepath$", "--soo"],
            "tool_version_args": ["-jar", "$dirname$/ChocoSoo/claferchocoig-0.3.6-jar-with-dependencies.jar", "--version"],
            "optimization_options": {
                "set_int_scope" : {"label": "Max. integer:", "argument": "--maxint=$value$", "default_value": 127},
                "set_default_scope" : {"label": "Default scopes:", "argument": "--scope=$value$", "default_value": 25}
            }
        },
        {
            "id": "clafermoo_standard", 
            "label": "ClaferMoo", 
            "tooltip": "Classic Moo based on Alloy solver",
            "accepted_format": "clafer_source",                           
            "tool": "python", 
            "tool_args": ["$dirname$/ClaferMoo/spl_datagenerator/IntegratedFeatureModelOptimizer.py", "$filepath$", "--preservenames", "--donotexecutecompiler"],
            "tool_version_args": ["$dirname$/ClaferMoo/spl_datagenerator/IntegratedFeatureModelOptimizer.py", "--version"],
            "optimization_options": {
            }
{'fraction_non_alphanumeric': 0.16987504221546776, 'fraction_numerical': 0.007429922323539345, 'mean_word_length': 2.2693156732891833, 'pattern_counts': {'":': 46, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '96620', 'n_tokens_mistral': 926, 'n_tokens_neox': 876, 'n_words': 149}