{
  "canonical_url": "https://crates.flyology.org/community/",
  "catalog": {
    "name": "community",
    "repository_url": "https://github.com/alire-project/alire-index",
    "revision": "cd12c6aa35b7d6483841517305d57ba167ec78d0"
  },
  "generated_at": "2026-08-23T04:55:42Z",
  "index": {
    "version": "1.4.0"
  },
  "package": {
    "catalog": "community",
    "description": "Implementation of a DPLL-based SAT solver in Ada.",
    "development_only": false,
    "latest_version": "26.0.0",
    "name": "adasat",
    "selected_version": "26.0.0",
    "versions": [
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "gnatformat",
            "path": "index/gn/gnatformat/gnatformat-26.0.0.toml",
            "provided_version": "26.0.0",
            "qualifies": true,
            "requirement": "^26",
            "requires": "adasat",
            "selected": true,
            "version": "26.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "gnatformat",
            "path": "index/gn/gnatformat/gnatformat-25.0.0.toml",
            "provided_version": "26.0.0",
            "qualifies": false,
            "requirement": "^25",
            "requires": "adasat",
            "selected": false,
            "version": "25.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "lal_refactor",
            "path": "index/la/lal_refactor/lal_refactor-25.0.0.toml",
            "provided_version": "26.0.0",
            "qualifies": false,
            "requirement": "^25",
            "requires": "adasat",
            "selected": false,
            "version": "25.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "langkit_support",
            "path": "index/la/langkit_support/langkit_support-26.0.0.toml",
            "provided_version": "26.0.0",
            "qualifies": true,
            "requirement": "^26",
            "requires": "adasat",
            "selected": true,
            "version": "26.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "langkit_support",
            "path": "index/la/langkit_support/langkit_support-25.0.0.toml",
            "provided_version": "26.0.0",
            "qualifies": false,
            "requirement": "^25",
            "requires": "adasat",
            "selected": false,
            "version": "25.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "langkit_support",
            "path": "index/la/langkit_support/langkit_support-24.0.0.toml",
            "provided_version": "26.0.0",
            "qualifies": false,
            "requirement": "^24",
            "requires": "adasat",
            "selected": false,
            "version": "24.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "libgnatformat",
            "path": "index/li/libgnatformat/libgnatformat-26.0.0.toml",
            "provided_version": "26.0.0",
            "qualifies": true,
            "requirement": "^26",
            "requires": "adasat",
            "selected": true,
            "version": "26.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "libgnatformat",
            "path": "index/li/libgnatformat/libgnatformat-25.0.0.toml",
            "provided_version": "26.0.0",
            "qualifies": false,
            "requirement": "^25",
            "requires": "adasat",
            "selected": false,
            "version": "25.0.0"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "actions": [
            {
              "command": [
                "sed",
                "-i",
                "-e",
                "s/external (\"ADASAT_BUILD_MODE\", \"dev\")/external (\"ADASAT_BUILD_MODE\", \"prod\")/",
                "adasat.gpr"
              ],
              "type": "post-fetch"
            },
            {
              "command": [
                "sed",
                "-i",
                "-e",
                "s/, \"-flto\");/);/",
                "adasat.gpr"
              ],
              "type": "post-fetch"
            }
          ],
          "authors": [
            "AdaCore"
          ],
          "configuration": {
            "disabled": true
          },
          "description": "Implementation of a DPLL-based SAT solver in Ada.",
          "gpr-externals": {
            "ADASAT_BUILD_MODE": [
              "dev",
              "prod",
              "prof"
            ]
          },
          "licenses": "Apache-2.0 WITH LLVM-exception",
          "long-description": "Main features:\n\n - [X] Conflict analysis and backjumping\n - [X] Two-watched literals scheme\n - [X] Built-in support for At-Most-One constraints\n - [X] Custom theories\n",
          "maintainers": [
            "chouteau@adacore.com",
            "sagaert@adacore.com"
          ],
          "maintainers-logins": [
            "chouteau",
            "roldak",
            "AldanTanneo"
          ],
          "name": "adasat",
          "origin": {
            "hashes": [
              "sha512:37336738b543040461e72c50a8e1341787766beba22c91e08c86f2bb24275ccac79f4e777e9cf23622c3e1d3bf0248bb34f10b9570f4307d1697f489781fd4b9"
            ],
            "url": "https://github.com/AdaCore/AdaSAT/archive/refs/tags/v26.0.0.zip"
          },
          "tags": [
            "sat",
            "solver",
            "theories"
          ],
          "version": "26.0.0",
          "website": "https://github.com/AdaCore/adasat"
        },
        "path": "index/ad/adasat/adasat-26.0.0.toml",
        "version": "26.0.0"
      },
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "gnatformat",
            "path": "index/gn/gnatformat/gnatformat-26.0.0.toml",
            "provided_version": "25.0.0",
            "qualifies": false,
            "requirement": "^26",
            "requires": "adasat",
            "selected": true,
            "version": "26.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "gnatformat",
            "path": "index/gn/gnatformat/gnatformat-25.0.0.toml",
            "provided_version": "25.0.0",
            "qualifies": true,
            "requirement": "^25",
            "requires": "adasat",
            "selected": false,
            "version": "25.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "lal_refactor",
            "path": "index/la/lal_refactor/lal_refactor-25.0.0.toml",
            "provided_version": "25.0.0",
            "qualifies": true,
            "requirement": "^25",
            "requires": "adasat",
            "selected": false,
            "version": "25.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "langkit_support",
            "path": "index/la/langkit_support/langkit_support-26.0.0.toml",
            "provided_version": "25.0.0",
            "qualifies": false,
            "requirement": "^26",
            "requires": "adasat",
            "selected": true,
            "version": "26.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "langkit_support",
            "path": "index/la/langkit_support/langkit_support-25.0.0.toml",
            "provided_version": "25.0.0",
            "qualifies": true,
            "requirement": "^25",
            "requires": "adasat",
            "selected": false,
            "version": "25.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "langkit_support",
            "path": "index/la/langkit_support/langkit_support-24.0.0.toml",
            "provided_version": "25.0.0",
            "qualifies": false,
            "requirement": "^24",
            "requires": "adasat",
            "selected": false,
            "version": "24.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "libgnatformat",
            "path": "index/li/libgnatformat/libgnatformat-26.0.0.toml",
            "provided_version": "25.0.0",
            "qualifies": false,
            "requirement": "^26",
            "requires": "adasat",
            "selected": true,
            "version": "26.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "libgnatformat",
            "path": "index/li/libgnatformat/libgnatformat-25.0.0.toml",
            "provided_version": "25.0.0",
            "qualifies": true,
            "requirement": "^25",
            "requires": "adasat",
            "selected": false,
            "version": "25.0.0"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "AdaCore"
          ],
          "configuration": {
            "disabled": true
          },
          "description": "Implementation of a DPLL-based SAT solver in Ada.",
          "licenses": "Apache-2.0 WITH LLVM-exception",
          "long-description": "Main features:\n\n - [X] Conflict analysis and backjumping\n - [X] Two-watched literals scheme\n - [X] Built-in support for At-Most-One constraints\n - [X] Custom theories\n",
          "maintainers": [
            "chouteau@adacore.com"
          ],
          "maintainers-logins": [
            "chouteau",
            "roldak"
          ],
          "name": "adasat",
          "origin": {
            "hashes": [
              "sha512:0618d8c668bdb483845c746250c52fa03fa429af48ae5441492e16821e44f22a6cc4fef576f49f6368d2878b6e499de7e060acd55e678581bd1b13ba00490258"
            ],
            "url": "https://github.com/adacore/AdaSAT/archive/v25.0.0/AdaSAT-25.0.0.zip"
          },
          "tags": [
            "sat",
            "solver",
            "theories"
          ],
          "version": "25.0.0",
          "website": "https://github.com/AdaCore/adasat"
        },
        "path": "index/ad/adasat/adasat-25.0.0.toml",
        "version": "25.0.0"
      },
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "gnatformat",
            "path": "index/gn/gnatformat/gnatformat-26.0.0.toml",
            "provided_version": "24.0.0",
            "qualifies": false,
            "requirement": "^26",
            "requires": "adasat",
            "selected": true,
            "version": "26.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "gnatformat",
            "path": "index/gn/gnatformat/gnatformat-25.0.0.toml",
            "provided_version": "24.0.0",
            "qualifies": false,
            "requirement": "^25",
            "requires": "adasat",
            "selected": false,
            "version": "25.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "lal_refactor",
            "path": "index/la/lal_refactor/lal_refactor-25.0.0.toml",
            "provided_version": "24.0.0",
            "qualifies": false,
            "requirement": "^25",
            "requires": "adasat",
            "selected": false,
            "version": "25.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "langkit_support",
            "path": "index/la/langkit_support/langkit_support-26.0.0.toml",
            "provided_version": "24.0.0",
            "qualifies": false,
            "requirement": "^26",
            "requires": "adasat",
            "selected": true,
            "version": "26.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "langkit_support",
            "path": "index/la/langkit_support/langkit_support-25.0.0.toml",
            "provided_version": "24.0.0",
            "qualifies": false,
            "requirement": "^25",
            "requires": "adasat",
            "selected": false,
            "version": "25.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "langkit_support",
            "path": "index/la/langkit_support/langkit_support-24.0.0.toml",
            "provided_version": "24.0.0",
            "qualifies": true,
            "requirement": "^24",
            "requires": "adasat",
            "selected": false,
            "version": "24.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "libgnatformat",
            "path": "index/li/libgnatformat/libgnatformat-26.0.0.toml",
            "provided_version": "24.0.0",
            "qualifies": false,
            "requirement": "^26",
            "requires": "adasat",
            "selected": true,
            "version": "26.0.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "libgnatformat",
            "path": "index/li/libgnatformat/libgnatformat-25.0.0.toml",
            "provided_version": "24.0.0",
            "qualifies": false,
            "requirement": "^25",
            "requires": "adasat",
            "selected": false,
            "version": "25.0.0"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "AdaCore"
          ],
          "configuration": {
            "disabled": true
          },
          "description": "Implementation of a DPLL-based SAT solver in Ada.",
          "licenses": "Apache-2.0 WITH LLVM-exception",
          "long-description": "Main features:\n\n - [X] Conflict analysis and backjumping\n - [X] Two-watched literals scheme\n - [X] Built-in support for At-Most-One constraints\n - [X] Custom theories\n",
          "maintainers": [
            "chouteau@adacore.com"
          ],
          "maintainers-logins": [
            "chouteau",
            "roldak"
          ],
          "name": "adasat",
          "origin": {
            "hashes": [
              "sha512:46db8c9a613e49551a7cb35593320b5a4eb11309c0d0b112f6ef391ac5ccb1c8b234906535f4010d2b3a563740a031b0ec5da6c2318758439bb43798ecaf83fd"
            ],
            "url": "https://github.com/adacore/adasat/archive/v24.0.0/adasat-24.0.0.zip"
          },
          "tags": [
            "sat",
            "solver",
            "theories"
          ],
          "version": "24.0.0",
          "website": "https://github.com/AdaCore/adasat"
        },
        "path": "index/ad/adasat/adasat-24.0.0.toml",
        "version": "24.0.0"
      }
    ]
  },
  "schema_version": 4
}