{
  "_id": "6ac20566773a0037682c0a2f",
  "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-10-04 07:36:12 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/8f40af3b86fa4b3dcc080111464ae0174480573b378c03676b2e90b719268579",
  "_filesize": 373859,
  "_sha256": "8f40af3b86fa4b3dcc080111464ae0174480573b378c03676b2e90b719268579",
  "_expires": "2027-01-12T07:51:00.000Z",
  "_created": "2026-10-04T07:36:12.000Z",
  "_published": "2026-10-04T07:51:02.093Z",
  "_jobs": [
    {
      "job": 111388822006,
      "time": 100,
      "config": "linux-devel-arm64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": "11296993562"
    },
    {
      "job": 111388821946,
      "time": 122,
      "config": "linux-devel-x86_64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": "11296998432"
    },
    {
      "job": 111388821988,
      "time": 93,
      "config": "linux-release-arm64",
      "r": "4.6.1",
      "check": "OK",
      "artifact": "11296848935"
    },
    {
      "job": 111388821953,
      "time": 109,
      "config": "linux-release-x86_64",
      "r": "4.6.1",
      "check": "OK",
      "artifact": "11297480228"
    },
    {
      "job": 111388822015,
      "time": 94,
      "config": "macos-oldrel-arm64",
      "r": "4.5.3",
      "check": "OK",
      "artifact": "11296384917"
    },
    {
      "job": 111388822011,
      "time": 270,
      "config": "macos-oldrel-x86_64",
      "r": "4.5.3",
      "check": "OK",
      "artifact": "11297044157"
    },
    {
      "job": 111388822013,
      "time": 69,
      "config": "macos-release-arm64",
      "r": "4.6.1",
      "check": "OK",
      "artifact": "11297221778"
    },
    {
      "job": 111388822000,
      "time": 243,
      "config": "macos-release-x86_64",
      "r": "4.6.1",
      "check": "OK",
      "artifact": "11297640345"
    },
    {
      "job": 111388373764,
      "time": 170,
      "config": "source",
      "r": "4.6.1",
      "check": "OK",
      "artifact": "11297235759"
    },
    {
      "job": 111388822126,
      "time": 90,
      "config": "wasm-release",
      "r": "4.6.0",
      "check": "OK",
      "artifact": "11297345039"
    },
    {
      "job": 111388822092,
      "time": 170,
      "config": "windows-devel-arm64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": "11296729232"
    },
    {
      "job": 111388822029,
      "time": 111,
      "config": "windows-devel-x86_64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": "11296868969"
    },
    {
      "job": 111388822091,
      "time": 78,
      "config": "windows-oldrel-x86_64",
      "r": "4.5.3",
      "check": "OK",
      "artifact": "11297186598"
    },
    {
      "job": 111388822072,
      "time": 169,
      "config": "windows-release-arm64",
      "r": "4.6.1",
      "check": "OK",
      "artifact": "11297078571"
    },
    {
      "job": 111388822057,
      "time": 72,
      "config": "windows-release-x86_64",
      "r": "4.6.1",
      "check": "OK",
      "artifact": "11297078442"
    }
  ],
  "_host": "GitHub-Actions",
  "_buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915",
  "_status": "success",
  "_upstream": "https://github.com/coolbutuseless/picosatire",
  "_commit": {
    "id": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
    "author": "mike <mikefc@coolbutuseless.com>",
    "committer": "mike <mikefc@coolbutuseless.com>",
    "message": "version bump [no ci]\n",
    "time": 1743987944
  },
  "_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": "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": 791,
    "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.1",
  "_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-10-04T07:38:01.000Z",
      "distro": "resolute",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/3b0f7534cc4a5cd1b4a83384cf70cb29e2d96a617ac1580cfa1cb1b71dfe0a5c",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    },
    {
      "r": "4.7.0",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-10-04T07:38:14.000Z",
      "distro": "resolute",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/511e9f941dbf072e3994969e60a2ab7d1ad891ba11366dfc8be4151d9b13a37c",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    },
    {
      "r": "4.6.1",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-10-04T07:37:53.000Z",
      "distro": "resolute",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/be3f58645023208ec0875edb329b654cf10c3801aed71b68dd56bcde86196ff0",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    },
    {
      "r": "4.6.1",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-10-04T07:38:07.000Z",
      "distro": "resolute",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/d492b73a486ecf7148af11f4c7db2e4ac396f379b081905dd4b1a2babc02e436",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    },
    {
      "r": "4.5.3",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-10-04T07:45:49.000Z",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/2ab6b763d8b5e7f44c15c92f784431c99d70ad300ff51838fd6aff371e90ff5a",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    },
    {
      "r": "4.5.3",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-10-04T07:45:22.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/bf993dd05a8cd17850b146755c613a5d2b6e6d6cd4b121c2315ef5cc78060776",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    },
    {
      "r": "4.6.1",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-10-04T07:50:33.000Z",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/66d6d55bf2d0e8890d5c3dacb675f4f8b4b3a6332ede6e9a8cc8cc1f23a0981b",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    },
    {
      "r": "4.6.1",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-10-04T07:44:32.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/6903b61c187e4dca945162888bc8a38be297c9eb04e1c526a0705969d746e790",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    },
    {
      "r": "4.6.0",
      "os": "wasm",
      "version": "1.0.0.9000",
      "date": "2026-10-04T07:37:57.000Z",
      "arch": "emscripten",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/c43d86c4ba84a43532742692c1f187e65217c8f6b1d6961b3184118727e6bc83",
      "status": "success",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    },
    {
      "r": "4.7.0",
      "os": "win",
      "version": "1.0.0.9000",
      "date": "2026-10-04T07:38:53.000Z",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/226cb7d07d6f5b324f1d6a3bd84470970bb15b3a69941ff971e7455dc16880a6",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    },
    {
      "r": "4.7.0",
      "os": "win",
      "version": "1.0.0.9000",
      "date": "2026-10-04T07:37:19.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/33d67f977d0bf0b0486a8bdbb7a489466ba4821c0ecdb2c9bedd2d60f48f102f",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    },
    {
      "r": "4.5.3",
      "os": "win",
      "version": "1.0.0.9000",
      "date": "2026-10-04T07:37:24.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/846e597674b274fb1cb4c9fbd22b28ee3af65d73495ee46ba56136f959998c5e",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    },
    {
      "r": "4.6.1",
      "os": "win",
      "version": "1.0.0.9000",
      "date": "2026-10-04T07:38:56.000Z",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/29e91d89cbf4798ac12d5c6691344ff7c7f801aed0999ace7e7fd782e7fa5652",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    },
    {
      "r": "4.6.1",
      "os": "win",
      "version": "1.0.0.9000",
      "date": "2026-10-04T07:37:16.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "https://r2.ropensci.org/35c8779a0379c8986469ce5aee6d765ad675017d9c2f2baba0d00fa2702ee0d4",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/37186133915"
    }
  ]
}