{
  "_id": "6af073551c36d7c6403e20f9",
  "Package": "picosatire",
  "Type": "Package",
  "Title": "SAT Solver using 'PicoSAT'",
  "Version": "1.0.0.9000",
  "Authors@R": "c(\nperson(\"Mike\", \"Cheng\", role = c(\"aut\", \"cre\", 'cph'), email = \"mikefc@coolbutuseless.com\"),\nperson(\"Dirk\", \"Schumacher\", email = \"mail@dirk-schumacher.net\", role = c(\"aut\", \"cph\"), comment = \"Fixes for original picosat.c in rpicosat package\"),\nperson(\"Armin\", \"Biere\", role = c(\"aut\", \"cph\"), comment = \"Author and copyright holder of included PicoSAT code\")\n)",
  "Maintainer": "Mike Cheng <mikefc@coolbutuseless.com>",
  "URL": "https://github.com/coolbutuseless/picosatire",
  "BugReports": "https://github.com/coolbutuseless/picosatire/issues",
  "Description": "A solver for Boolean satisfiability problems ('SAT') using\nthe 'PicoSAT' 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 'PicoSAT' code is Copyright (c) Armin Biere,\nJohannes Kepler University. See 'COPYRIGHTS' file for LICENSE\nfor included code.",
  "Remotes": [
    "coolbutuseless/satire"
  ],
  "VignetteBuilder": "knitr",
  "Config/pak/sysreqs": "libicu-dev",
  "Repository": "https://coolbutuseless.r-universe.dev",
  "Date/Publication": "2025-04-07 01:05:44 UTC",
  "RemoteUrl": "https://github.com/coolbutuseless/picosatire",
  "RemoteRef": "HEAD",
  "RemoteSha": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
  "NeedsCompilation": "yes",
  "Packaged": {
    "Date": "2026-11-08 12:52:05 UTC",
    "User": "root"
  },
  "Author": "Mike Cheng [aut, cre, cph],\nDirk Schumacher [aut, cph] (Fixes for original picosat.c in rpicosat\npackage),\nArmin Biere [aut, cph] (Author and copyright holder of included PicoSAT\ncode)",
  "_user": "coolbutuseless",
  "_type": "src",
  "_file": "picosatire_1.0.0.9000.tar.gz",
  "_fileid": "https://r2.ropensci.org/7e310278127af785f257f3ebe33d8d03bbcd7718213a97caf81abdf8dd9cc5af",
  "_filesize": 371453,
  "_sha256": "7e310278127af785f257f3ebe33d8d03bbcd7718213a97caf81abdf8dd9cc5af",
  "_expires": "2027-02-16T13:04:19.000Z",
  "_created": "2026-11-08T12:52:05.000Z",
  "_published": "2026-11-08T13:04:21.483Z",
  "_upstream": "https://github.com/coolbutuseless/picosatire",
  "_status": "success",
  "_maintainer": {
    "name": "Mike Cheng",
    "email": "mikefc@coolbutuseless.com",
    "login": "coolbutuseless",
    "description": "Cool, but useless.",
    "uuid": 181818
  },
  "_jobs": [
    {
      "job": 128736535913,
      "time": 94,
      "config": "linux-devel-arm64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": "13618360331"
    },
    {
      "job": 128736535967,
      "time": 116,
      "config": "linux-devel-x86_64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": "13617268945"
    },
    {
      "job": 128736535906,
      "time": 95,
      "config": "linux-release-arm64",
      "r": "4.6.2",
      "check": "OK",
      "artifact": "13617973166"
    },
    {
      "job": 128736536077,
      "time": 103,
      "config": "linux-release-x86_64",
      "r": "4.6.2",
      "check": "OK",
      "artifact": "13618350342"
    },
    {
      "job": 128736535911,
      "time": 131,
      "config": "macos-oldrel-arm64",
      "r": "4.5.3",
      "check": "OK",
      "artifact": "13618526044"
    },
    {
      "job": 128736535933,
      "time": 172,
      "config": "macos-oldrel-x86_64",
      "r": "4.5.3",
      "check": "OK",
      "artifact": "13618421421"
    },
    {
      "job": 128736535891,
      "time": 94,
      "config": "macos-release-arm64",
      "r": "4.6.2",
      "check": "OK",
      "artifact": "13617843143"
    },
    {
      "job": 128736535912,
      "time": 174,
      "config": "macos-release-x86_64",
      "r": "4.6.2",
      "check": "OK",
      "artifact": "13617883201"
    },
    {
      "job": 128735766680,
      "time": 197,
      "config": "source",
      "r": "4.6.2",
      "check": "OK",
      "artifact": "13618067633"
    },
    {
      "job": 128736536004,
      "time": 105,
      "config": "wasm-release",
      "r": "4.6.0",
      "check": "OK",
      "artifact": "13617223920"
    },
    {
      "job": 128736536211,
      "time": 187,
      "config": "windows-devel-arm64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": "13617434966"
    },
    {
      "job": 128736536103,
      "time": 106,
      "config": "windows-devel-x86_64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": "13618036754"
    },
    {
      "job": 128736536192,
      "time": 79,
      "config": "windows-oldrel-x86_64",
      "r": "4.5.3",
      "check": "OK",
      "artifact": "13617898304"
    },
    {
      "job": 128736536151,
      "time": 172,
      "config": "windows-release-arm64",
      "r": "4.6.2",
      "check": "OK",
      "artifact": "13617752625"
    },
    {
      "job": 128736536108,
      "time": 79,
      "config": "windows-release-x86_64",
      "r": "4.6.2",
      "check": "OK",
      "artifact": "13617373325"
    }
  ],
  "_buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195",
  "_commit": {
    "id": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
    "author": "mike <mikefc@coolbutuseless.com>",
    "committer": "mike <mikefc@coolbutuseless.com>",
    "message": "version bump [no ci]\n",
    "time": 1743987944
  },
  "_distro": "resolute",
  "_host": "GitHub-Actions",
  "_registered": true,
  "_dependencies": [
    {
      "package": "satire",
      "version": ">= 1.0.0.9000",
      "role": "Imports"
    },
    {
      "package": "knitr",
      "role": "Suggests"
    },
    {
      "package": "glue",
      "role": "Suggests"
    },
    {
      "package": "purrr",
      "role": "Suggests"
    },
    {
      "package": "ggplot2",
      "role": "Suggests"
    },
    {
      "package": "rmarkdown",
      "role": "Suggests"
    },
    {
      "package": "testthat",
      "version": ">= 3.0.0",
      "role": "Suggests"
    }
  ],
  "_owner": "coolbutuseless",
  "_selfowned": true,
  "_usedby": 0,
  "_updates": [],
  "_tags": [],
  "_topics": [
    "sat"
  ],
  "_stars": 0,
  "_contributors": [
    {
      "user": "coolbutuseless",
      "count": 7,
      "uuid": 181818
    }
  ],
  "_userbio": {
    "uuid": 181818,
    "type": "user",
    "name": "mikefc",
    "followers": 797,
    "description": "Cool, but useless."
  },
  "_downloads": {
    "count": 0,
    "source": "https://cranlogs.r-pkg.org/downloads/total/last-month/picosatire"
  },
  "_devurl": "https://github.com/coolbutuseless/picosatire",
  "_searchresults": 3,
  "_rbuild": "4.6.2",
  "_assets": [
    "extra/citation.cff",
    "extra/citation.html",
    "extra/citation.json",
    "extra/citation.txt",
    "extra/contents.json",
    "extra/manual.pdf",
    "extra/NEWS.html",
    "extra/NEWS.txt",
    "extra/picosatire.html",
    "extra/readme.html",
    "extra/readme.md",
    "LICENSE"
  ],
  "_cranurl": false,
  "_exports": [
    "pico_solve_literals",
    "pico_solve_satire",
    "pico_version"
  ],
  "_help": [
    {
      "page": "pico_solve_literals",
      "title": "Solve simple using literals",
      "topics": [
        "pico_solve_literals"
      ]
    },
    {
      "page": "pico_solve_satire",
      "title": "Solve simple using 'satire'",
      "topics": [
        "pico_solve_satire"
      ]
    },
    {
      "page": "pico_version",
      "title": "Return a list of version information of the PicoSAT library",
      "topics": [
        "pico_version"
      ]
    }
  ],
  "_readme": "https://github.com/coolbutuseless/picosatire/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 05:14:43",
      "modified": "2025-04-05 09:33:53",
      "commits": 2
    }
  ],
  "_score": 2.6989700043360187,
  "_indexed": true,
  "_nocasepkg": "picosatire",
  "_universes": [
    "coolbutuseless"
  ],
  "_binaries": [
    {
      "r": "4.7.0",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-11-08T12:53:44.000Z",
      "distro": "resolute",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/96a1e22ff65c025ad7703beaaf94fabef17b9910ebd922546841439962a0b4cf",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    },
    {
      "r": "4.7.0",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-11-08T12:54:01.000Z",
      "distro": "resolute",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/534a8cc61c6b27b1a50f8954adcbc6af778b2e3c459fb4894b3c6789db978ca1",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    },
    {
      "r": "4.6.2",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-11-08T12:53:47.000Z",
      "distro": "resolute",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/90edd659729c97ddfe569f424bad12652a0ce5db0c5f5eeaf039b0d0c1141816",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    },
    {
      "r": "4.6.2",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-11-08T12:53:51.000Z",
      "distro": "resolute",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/c2e6819c55ba9cbb28d898e38cba218ea952f589eef9a6db74a3df6e9ecfc39b",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    },
    {
      "r": "4.5.3",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-11-08T13:03:32.000Z",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/1759ed5c2eb58ef20d33f476ee59de0481d0febd3674d2966c851bab1d9081f2",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    },
    {
      "r": "4.5.3",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-11-08T13:03:32.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/25c9e27031aaf1f2b60f9836d11f0adf6c6b2cae3ac2b8b9df42dd0902a916d7",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    },
    {
      "r": "4.6.2",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-11-08T13:02:16.000Z",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/2bf7a1135133a9a186364e6c5c12ee760e3c02509e73fa4b37bebfa8c1493c9a",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    },
    {
      "r": "4.6.2",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-11-08T13:02:45.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/371bb19f08569ad0045cd8742a4fd98b5a55627364a629796fea0baae7294b3f",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    },
    {
      "r": "4.6.0",
      "os": "wasm",
      "version": "1.0.0.9000",
      "date": "2026-11-08T12:54:04.000Z",
      "arch": "emscripten",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/a7e532a5a23f80557b69c5e2b1ef0907bc9f811f195ee20a771ef8c87882fbc5",
      "status": "success",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    },
    {
      "r": "4.7.0",
      "os": "win",
      "version": "1.0.0.9000",
      "date": "2026-11-08T12:55:02.000Z",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/4ea68f6cfb1a003c3f631115982494e19a7b56a35132cb77fe436230a3887a6c",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    },
    {
      "r": "4.7.0",
      "os": "win",
      "version": "1.0.0.9000",
      "date": "2026-11-08T12:53:06.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/85f1da85de878f55cef314f6f7d1c03e52762bcc35224127590db6fa48c0fa47",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    },
    {
      "r": "4.5.3",
      "os": "win",
      "version": "1.0.0.9000",
      "date": "2026-11-08T12:53:17.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/43bfbfe39b3be1dd1f878bc2472cda0484966ee7cf87c22341791e30821410b3",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    },
    {
      "r": "4.6.2",
      "os": "win",
      "version": "1.0.0.9000",
      "date": "2026-11-08T12:54:52.000Z",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/45010c40df7661deadc5c78c4f5ba125239c085a663f287caa38669f4f90ad6b",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    },
    {
      "r": "4.6.2",
      "os": "win",
      "version": "1.0.0.9000",
      "date": "2026-11-08T12:53:15.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/99e30346e1b753dfa79e98d0acebad8de603f3e9ba0f8f01b8942d698cd93853",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/42481978195"
    }
  ]
}