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