{
    "$schema": "http://json-schema.org/draft-04/schema#",
    "description": "Final configuration",
    "type": "object",
    "properties": {
        "result": {
            "description": "The result may be sat or unsat",
            "type": "string"
        },
        "features": {
            "description": "list representing which features are selected if result = sat",
            "type": "array",
            "items": {
                "type": "string"
            }
        },
        "attributes": {
            "description": "list representing the values of the attributes if result = sat",
            "type": "array",
            "items": {
                "type": "object",
                "properties": {
                    "id": {
                        "type": "string"
                    },
                    "value": {
                        "type": "integer"
                    }
                },
                "required": [
                    "id",
                    "value"
                ]
            }
        },
        "constraints": {
            "description": "list representing the constraints that causes the FM to be void",
            "type": "array",
            "items": {
                "type": "string"
            }
        }
    },
    "additionalProperties": false,
    "required": [
        "result"
    ]
}