{
  "cv": 18,
  "name": "sat",
  "fqn": "sat.nim-lang.github.com",
  "current": "e63eaea8baf00bed8bcd5a29ffd8823abb265b39",
  "author": "Araq",
  "description": "A SAT solver written in Nim.",
  "license": "MIT",
  "nim": "1.6.0",
  "srcDir": "src",
  "releases": [
    {
      "v": "0.1.0@603f49b36c081baa0ffab6fb92083f82b6f9ac80",
      "r": []
    },
    {
      "v": "0.1.1@0d157c347b00732d93d2cf60731851ffdc91bc8c",
      "r": []
    }
  ],
  "tags": true,
  "generatedAt": "2026-05-26T13:51:11Z",
  "allDeps": {
    "packages": [],
    "urls": [],
    "unresolved": []
  }
}