{
  "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"
}