{
  "_id": "6ad5ea1a4a34890ab4939240",
  "Package": "kissatire",
  "Type": "Package",
  "Title": "SAT Solver using 'Kissat'",
  "Version": "1.0.0.9000",
  "Authors@R": "c(\nperson(\"Mike\", \"Cheng\", role = c(\"aut\", \"cre\", 'cph'), email = \"mikefc@coolbutuseless.com\")\n)",
  "Maintainer": "Mike Cheng <mikefc@coolbutuseless.com>",
  "URL": "https://github.com/coolbutuseless/kissatire",
  "BugReports": "https://github.com/coolbutuseless/kissatire/issues",
  "Description": "A solver for Boolean satisfiability problems ('SAT') using\nthe 'Kissat' library.  For this solver, 'SAT' problems can be\nformulated in two ways; using integer literals, or using\nlogical expressions specified with the 'satire' package.",
  "License": "MIT + file LICENSE",
  "Encoding": "UTF-8",
  "RoxygenNote": "7.3.2",
  "Config/testthat/edition": "3",
  "Copyright": "The included 'Kissat' code is Copyright (c) Armin Biere. See\n'COPYRIGHTS' file for LICENSE for included code.",
  "Remotes": [
    "coolbutuseless/satire"
  ],
  "VignetteBuilder": "knitr",
  "OS_type": "unix",
  "Config/pak/sysreqs": "libicu-dev",
  "Repository": "https://coolbutuseless.r-universe.dev",
  "Date/Publication": "2025-04-07 01:05:11 UTC",
  "RemoteUrl": "https://github.com/coolbutuseless/kissatire",
  "RemoteRef": "HEAD",
  "RemoteSha": "6fa120e06a97d5224aafb9441129749ac24b13af",
  "NeedsCompilation": "yes",
  "Packaged": {
    "Date": "2026-10-19 09:53:43 UTC",
    "User": "root"
  },
  "Author": "Mike Cheng [aut, cre, cph]",
  "_user": "coolbutuseless",
  "_type": "src",
  "_file": "kissatire_1.0.0.9000.tar.gz",
  "_fileid": "https://r2.ropensci.org/d10715eccfd1da115f3887c22f05f2fe5d4ce2aa08a20a022024372bde5381f9",
  "_filesize": 545866,
  "_sha256": "d10715eccfd1da115f3887c22f05f2fe5d4ce2aa08a20a022024372bde5381f9",
  "_expires": "2027-01-27T09:59:52.000Z",
  "_created": "2026-10-19T09:53:43.000Z",
  "_published": "2026-10-19T09:59:54.688Z",
  "_buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/39233020324",
  "_status": "success",
  "_host": "GitHub-Actions",
  "_jobs": [
    {
      "job": 117996937922,
      "time": 108,
      "config": "linux-devel-arm64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": "12177963161"
    },
    {
      "job": 117996937884,
      "time": 145,
      "config": "linux-devel-x86_64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": "12177033255"
    },
    {
      "job": 117996938094,
      "time": 101,
      "config": "linux-release-arm64",
      "r": "4.6.1",
      "check": "OK",
      "artifact": "12178158044"
    },
    {
      "job": 117996937739,
      "time": 113,
      "config": "linux-release-x86_64",
      "r": "4.6.1",
      "check": "OK",
      "artifact": "12178292976"
    },
    {
      "job": 117996937844,
      "time": 127,
      "config": "macos-oldrel-arm64",
      "r": "4.5.3",
      "check": "OK",
      "artifact": "12177873333"
    },
    {
      "job": 117996937822,
      "time": 325,
      "config": "macos-oldrel-x86_64",
      "r": "4.5.3",
      "check": "OK",
      "artifact": "12177263859"
    },
    {
      "job": 117996937938,
      "time": 121,
      "config": "macos-release-arm64",
      "r": "4.6.1",
      "check": "OK",
      "artifact": "12177459295"
    },
    {
      "job": 117996937871,
      "time": 258,
      "config": "macos-release-x86_64",
      "r": "4.6.1",
      "check": "OK",
      "artifact": "12178218341"
    },
    {
      "job": 117995451009,
      "time": 219,
      "config": "source",
      "r": "4.6.1",
      "check": "OK",
      "artifact": "12178472144"
    },
    {
      "job": 117996937966,
      "time": 109,
      "config": "wasm-release",
      "r": "4.6.0",
      "check": "OK",
      "artifact": "12177328186"
    },
    {
      "job": 117996937886,
      "time": 205,
      "config": "windows-devel-arm64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": ""
    },
    {
      "job": 117996937806,
      "time": 55,
      "config": "windows-devel-x86_64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": ""
    },
    {
      "job": 117996937917,
      "time": 54,
      "config": "windows-oldrel-x86_64",
      "r": "4.5.3",
      "check": "OK",
      "artifact": ""
    },
    {
      "job": 117996937741,
      "time": 183,
      "config": "windows-release-arm64",
      "r": "4.6.1",
      "check": "OK",
      "artifact": ""
    },
    {
      "job": 117996937775,
      "time": 63,
      "config": "windows-release-x86_64",
      "r": "4.6.1",
      "check": "OK",
      "artifact": ""
    }
  ],
  "_upstream": "https://github.com/coolbutuseless/kissatire",
  "_commit": {
    "id": "6fa120e06a97d5224aafb9441129749ac24b13af",
    "author": "mike <mikefc@coolbutuseless.com>",
    "committer": "mike <mikefc@coolbutuseless.com>",
    "message": "package not compatible with windows [no ci]\n",
    "time": 1743987911
  },
  "_maintainer": {
    "name": "Mike Cheng",
    "email": "mikefc@coolbutuseless.com",
    "login": "coolbutuseless",
    "description": "Cool, but useless.",
    "uuid": 181818
  },
  "_distro": "resolute",
  "_registered": true,
  "_dependencies": [
    {
      "package": "satire",
      "version": ">= 1.0.0.9000",
      "role": "Imports"
    },
    {
      "package": "knitr",
      "role": "Suggests"
    },
    {
      "package": "rmarkdown",
      "role": "Suggests"
    },
    {
      "package": "testthat",
      "version": ">= 3.0.0",
      "role": "Suggests"
    },
    {
      "package": "glue",
      "role": "Suggests"
    },
    {
      "package": "ggplot2",
      "role": "Suggests"
    },
    {
      "package": "purrr",
      "role": "Suggests"
    }
  ],
  "_owner": "coolbutuseless",
  "_selfowned": true,
  "_usedby": 0,
  "_updates": [],
  "_tags": [],
  "_topics": [
    "sat"
  ],
  "_stars": 0,
  "_contributors": [
    {
      "user": "coolbutuseless",
      "count": 5,
      "uuid": 181818
    }
  ],
  "_userbio": {
    "uuid": 181818,
    "type": "user",
    "name": "mikefc",
    "followers": 794,
    "description": "Cool, but useless."
  },
  "_downloads": {
    "count": 0,
    "source": "https://cranlogs.r-pkg.org/downloads/total/last-month/kissatire"
  },
  "_devurl": "https://github.com/coolbutuseless/kissatire",
  "_searchresults": 3,
  "_rbuild": "4.6.1",
  "_assets": [
    "extra/citation.cff",
    "extra/citation.html",
    "extra/citation.json",
    "extra/citation.txt",
    "extra/contents.json",
    "extra/kissatire.html",
    "extra/manual.pdf",
    "extra/NEWS.html",
    "extra/NEWS.txt",
    "extra/readme.html",
    "extra/readme.md",
    "LICENSE"
  ],
  "_cranurl": false,
  "_exports": [
    "kis_solve_literals",
    "kis_solve_satire",
    "kis_version"
  ],
  "_help": [
    {
      "page": "kis_solve_literals",
      "title": "Solve using literals",
      "topics": [
        "kis_solve_literals"
      ]
    },
    {
      "page": "kis_solve_satire",
      "title": "Solve using 'satire'",
      "topics": [
        "kis_solve_satire"
      ]
    },
    {
      "page": "kis_version",
      "title": "Return a list of version information of the kisSAT library",
      "topics": [
        "kis_version"
      ]
    }
  ],
  "_readme": "https://github.com/coolbutuseless/kissatire/raw/HEAD/README.md",
  "_rundeps": [
    "cli",
    "glue",
    "lifecycle",
    "magrittr",
    "rlang",
    "satire",
    "stringi",
    "stringr",
    "vctrs"
  ],
  "_vignettes": [
    {
      "source": "peaceable-queens.Rmd",
      "filename": "peaceable-queens.html",
      "title": "Peaceable Queens",
      "engine": "knitr::rmarkdown",
      "headings": [
        "The Peaceable Queens Puzzle",
        "Nomenclature",
        "Individual squares",
        "Row variables",
        "Basic pieces in R",
        "Boolean Expressions",
        "Expressions constraining the row/column indicator variables (for white)",
        "Expressions constraining the row/column indicator variables (for black)",
        "Exclusivity of white/black indicator variables",
        "Expressions constraining the diagonals",
        "Creating the SAT problem in"
      ],
      "created": "2025-04-05 09:44:39",
      "modified": "2025-04-05 09:44:39",
      "commits": 1
    }
  ],
  "_score": 2.6989700043360187,
  "_indexed": true,
  "_nocasepkg": "kissatire",
  "_universes": [
    "coolbutuseless"
  ],
  "_binaries": [
    {
      "r": "4.7.0",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-10-19T09:55:33.000Z",
      "distro": "resolute",
      "arch": "aarch64",
      "commit": "6fa120e06a97d5224aafb9441129749ac24b13af",
      "fileid": "https://r2.ropensci.org/663eab7419cd61857461d252f9adceee07eeacd10d960f3b14edeefe0cfd07ca",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/39233020324"
    },
    {
      "r": "4.7.0",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-10-19T09:56:01.000Z",
      "distro": "resolute",
      "arch": "x86_64",
      "commit": "6fa120e06a97d5224aafb9441129749ac24b13af",
      "fileid": "https://r2.ropensci.org/a780c238f8d104f6e7e76ebe4009b85e3d62273f1bd04cd288ae16226a4c3a06",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/39233020324"
    },
    {
      "r": "4.6.1",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-10-19T09:55:30.000Z",
      "distro": "resolute",
      "arch": "aarch64",
      "commit": "6fa120e06a97d5224aafb9441129749ac24b13af",
      "fileid": "https://r2.ropensci.org/d90faa75568c37bcb78c4f0a1c3b2a42da9ea11e645e4a2d5385272b3140aae8",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/39233020324"
    },
    {
      "r": "4.6.1",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-10-19T09:55:42.000Z",
      "distro": "resolute",
      "arch": "x86_64",
      "commit": "6fa120e06a97d5224aafb9441129749ac24b13af",
      "fileid": "https://r2.ropensci.org/e39ad78d063f69a02512335126d4356db290c412609e3a872c1fdc906732dc38",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/39233020324"
    },
    {
      "r": "4.5.3",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-10-19T09:55:49.000Z",
      "arch": "aarch64",
      "commit": "6fa120e06a97d5224aafb9441129749ac24b13af",
      "fileid": "https://r2.ropensci.org/070b7433e868c45924bc4d2665cdb9497e0c5b9a8b3d1f05649cdb30314ae99a",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/39233020324"
    },
    {
      "r": "4.5.3",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-10-19T09:57:37.000Z",
      "arch": "x86_64",
      "commit": "6fa120e06a97d5224aafb9441129749ac24b13af",
      "fileid": "https://r2.ropensci.org/55cf2c9e77025249df3b1dca80788bd3a4a56b13b088e43b4831b7473836240b",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/39233020324"
    },
    {
      "r": "4.6.1",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-10-19T09:55:41.000Z",
      "arch": "aarch64",
      "commit": "6fa120e06a97d5224aafb9441129749ac24b13af",
      "fileid": "https://r2.ropensci.org/f7aacc6b6b132e34bf741ef6adf3cb1b8a0d064823ef1350de0736a5d1550fe2",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/39233020324"
    },
    {
      "r": "4.6.1",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-10-19T09:57:14.000Z",
      "arch": "x86_64",
      "commit": "6fa120e06a97d5224aafb9441129749ac24b13af",
      "fileid": "https://r2.ropensci.org/c3a7a9dcdeb6732ad9252ce993798754588e276a47272299eaddcc0b75955ded",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/39233020324"
    },
    {
      "r": "4.6.0",
      "os": "wasm",
      "version": "1.0.0.9000",
      "date": "2026-10-19T09:55:40.000Z",
      "arch": "emscripten",
      "commit": "6fa120e06a97d5224aafb9441129749ac24b13af",
      "fileid": "https://r2.ropensci.org/75468256698b3b3b0f2d78d52b82362b3ecefdc4862bed2401b96e0fdcf72591",
      "status": "success",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/39233020324"
    }
  ]
}