{
    "key": "contract",
    "name": "Contract",
    "authors": [
        "Lorenzo Caminiti"
    ],
    "maintainers": [
        "Lorenzo Caminiti <lorcaminiti -at- gmail.com>"
    ],
    "description": "Contract programming for C++. All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, etc.",
    "category": [
        "Correctness"
    ]
}