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