GET /api/v1/ports/clasp/
HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept

{
    "name": "clasp",
    "portdir": "math/clasp",
    "version": "3.3.10",
    "license": "MIT",
    "platforms": "darwin",
    "epoch": 0,
    "replaced_by": null,
    "homepage": "https://potassco.org/clasp/",
    "description": "A conflict-driven nogood learning answer set solver",
    "long_description": "clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT).",
    "active": true,
    "categories": [
        "math"
    ],
    "maintainers": [],
    "variants": [
        "debug",
        "tests",
        "universal"
    ],
    "dependencies": [
        {
            "type": "build",
            "ports": [
                "cmake",
                "clang-16"
            ]
        }
    ],
    "depends_on": []
}