{
  "_id": "6a181398acfb0bcc41daedb2",
  "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-05-28 10:01:10 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)",
  "MD5sum": "4f133dac1f0f4300c6d6dea60799074f",
  "_user": "coolbutuseless",
  "_type": "src",
  "_file": "picosatire_1.0.0.9000.tar.gz",
  "_fileid": "084faaa0be5d02f5ebe5e5081a0577f4157748e28eefc4469aaa8ab7752a8a5a",
  "_filesize": 372110,
  "_sha256": "084faaa0be5d02f5ebe5e5081a0577f4157748e28eefc4469aaa8ab7752a8a5a",
  "_created": "2026-05-28T10:01:10.000Z",
  "_published": "2026-05-28T10:06:16.029Z",
  "_distro": "noble",
  "_jobs": [
    {
      "job": 78267690015,
      "time": 136,
      "config": "linux-devel-arm64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": "7263082463"
    },
    {
      "job": 78267690088,
      "time": 126,
      "config": "linux-devel-x86_64",
      "r": "4.7.0",
      "check": "OK",
      "artifact": "7263079314"
    },
    {
      "job": 78267689999,
      "time": 136,
      "config": "linux-release-arm64",
      "r": "4.6.0",
      "check": "OK",
      "artifact": "7263082302"
    },
    {
      "job": 78267690049,
      "time": 120,
      "config": "linux-release-x86_64",
      "r": "4.6.0",
      "check": "OK",
      "artifact": "7263077851"
    },
    {
      "job": 78267689960,
      "time": 83,
      "config": "macos-oldrel-arm64",
      "r": "4.5.3",
      "check": "OK",
      "artifact": "7263065973"
    },
    {
      "job": 78267690001,
      "time": 265,
      "config": "macos-oldrel-x86_64",
      "r": "4.5.3",
      "check": "OK",
      "artifact": ""
    },
    {
      "job": 78267689971,
      "time": 77,
      "config": "macos-release-arm64",
      "r": "4.6.0",
      "check": "OK",
      "artifact": "7263063637"
    },
    {
      "job": 78267690140,
      "time": 251,
      "config": "macos-release-x86_64",
      "r": "4.6.0",
      "check": "OK",
      "artifact": "7263119766"
    },
    {
      "job": 78267168573,
      "time": 193,
      "config": "source",
      "r": "4.6.0",
      "check": "OK",
      "artifact": "7263038778"
    },
    {
      "job": 78267689948,
      "time": 126,
      "config": "wasm-release",
      "r": "4.6.0",
      "check": "OK",
      "artifact": "7263079186"
    },
    {
      "job": 78267689945,
      "time": 100,
      "config": "windows-devel",
      "r": "4.7.0",
      "check": "OK",
      "artifact": "7263071286"
    },
    {
      "job": 78267690225,
      "time": 92,
      "config": "windows-oldrel",
      "r": "4.5.3",
      "check": "OK",
      "artifact": "7263068506"
    },
    {
      "job": 78267690055,
      "time": 160,
      "config": "windows-release",
      "r": "4.6.0",
      "check": "OK",
      "artifact": "7263090476"
    }
  ],
  "_buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26567880012",
  "_status": "success",
  "_host": "GitHub-Actions",
  "_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
  },
  "_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",
    "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.0",
  "_assets": [
    "extra/citation.cff",
    "extra/citation.html",
    "extra/citation.json",
    "extra/citation.txt",
    "extra/contents.json",
    "extra/NEWS.html",
    "extra/NEWS.txt",
    "extra/picosatire.html",
    "extra/readme.html",
    "extra/readme.md",
    "manual.pdf"
  ],
  "_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.5.3",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-04-28T05:56:53.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "70847d2689e86ba2e85b4b5cc38add502e412de81e892b5b23d4e8a289bcb284",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/25036271440"
    },
    {
      "r": "4.7.0",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-05-28T10:03:31.000Z",
      "distro": "noble",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "43f9e0e838c5c6940b20e4f627f251ea01d2ce9f6a4ff5961c4b61cb9b4285d8",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26567880012"
    },
    {
      "r": "4.7.0",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-05-28T10:03:17.000Z",
      "distro": "noble",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "e0e262325a95f0d91e8d09dc926c00342f3b82f867b2ba73191b52916f3909b4",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26567880012"
    },
    {
      "r": "4.6.0",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-05-28T10:03:31.000Z",
      "distro": "noble",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "ee51fecde7dff0711fd5367e83e6f9ff47a129c11a07017139afee5682a16d41",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26567880012"
    },
    {
      "r": "4.6.0",
      "os": "linux",
      "version": "1.0.0.9000",
      "date": "2026-05-28T10:03:14.000Z",
      "distro": "noble",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "580935961444c80acabf33e1c85589fad05118c8a218aebc59338935db7be0f1",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26567880012"
    },
    {
      "r": "4.5.3",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-05-28T10:02:37.000Z",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "9572552e698e5cc4d5bddfbacc9f8e9ff6ae5b827ed611da6212de35bbfa45a1",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26567880012"
    },
    {
      "r": "4.6.0",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-05-28T10:02:30.000Z",
      "arch": "aarch64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "e8a3ea3b313811eaa76f786e9766c1afa7b6b486096724df1685264cead367d8",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26567880012"
    },
    {
      "r": "4.6.0",
      "os": "mac",
      "version": "1.0.0.9000",
      "date": "2026-05-28T10:04:32.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "239d95cc30459b2622ec44f523c3dd8b4dac6977d750a786ffa71297403a2347",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26567880012"
    },
    {
      "r": "4.6.0",
      "os": "wasm",
      "version": "1.0.0.9000",
      "date": "2026-05-28T10:03:29.000Z",
      "arch": "emscripten",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "f0b016ae5ce8bbe61ece102a88082f52f7fb3193fa97f9edc1f546a2c3f1a943",
      "status": "success",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26567880012"
    },
    {
      "r": "4.7.0",
      "os": "win",
      "version": "1.0.0.9000",
      "date": "2026-05-28T10:02:32.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "efe630e7906913b6af45226eb1128042005342bb9121f9dc7ec45e445279bac1",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26567880012"
    },
    {
      "r": "4.5.3",
      "os": "win",
      "version": "1.0.0.9000",
      "date": "2026-05-28T10:02:27.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "f2cfcf00985b3739b754e7b524497a3efb4879dd5edae671955f07e8dfe262f0",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26567880012"
    },
    {
      "r": "4.6.0",
      "os": "win",
      "version": "1.0.0.9000",
      "date": "2026-05-28T10:03:37.000Z",
      "arch": "x86_64",
      "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba",
      "fileid": "b38fe4e3205eadec3209d22199cafd1e9482d218461f3023d6dd0758dde58cab",
      "status": "success",
      "check": "OK",
      "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26567880012"
    }
  ]
}