{ "_id": "6a4b4ecaa6574ff277f99565", "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 ", "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-07-06 06:40:16 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/2528a34989593d6ee2a1b044507d2ee66c596b72ee82d9e1de372c1766f71f58", "_filesize": 372556, "_sha256": "2528a34989593d6ee2a1b044507d2ee66c596b72ee82d9e1de372c1766f71f58", "_expires": "2026-10-14T06:44:24.000Z", "_created": "2026-07-06T06:40:16.000Z", "_published": "2026-07-06T06:44:26.217Z", "_jobs": [ { "job": 85310232385, "time": 129, "config": "linux-devel-arm64", "r": "4.7.0", "check": "OK", "artifact": "8101501903" }, { "job": 85310232388, "time": 136, "config": "linux-devel-x86_64", "r": "4.7.0", "check": "OK", "artifact": "8101502993" }, { "job": 85310232398, "time": 148, "config": "linux-release-arm64", "r": "4.6.1", "check": "OK", "artifact": "8101507441" }, { "job": 85310232413, "time": 130, "config": "linux-release-x86_64", "r": "4.6.1", "check": "OK", "artifact": "8101501368" }, { "job": 85310232393, "time": 89, "config": "macos-oldrel-arm64", "r": "4.5.3", "check": "OK", "artifact": "8101489398" }, { "job": 85310232429, "time": 212, "config": "macos-oldrel-x86_64", "r": "4.5.3", "check": "OK", "artifact": "8101524856" }, { "job": 85310232391, "time": 75, "config": "macos-release-arm64", "r": "4.6.1", "check": "OK", "artifact": "8101485103" }, { "job": 85310232377, "time": 161, "config": "macos-release-x86_64", "r": "4.6.1", "check": "OK", "artifact": "8101510048" }, { "job": 85309821307, "time": 179, "config": "source", "r": "4.6.1", "check": "OK", "artifact": "8101462729" }, { "job": 85310232353, "time": 125, "config": "wasm-release", "r": "4.6.0", "check": "OK", "artifact": "8101499944" }, { "job": 85310232366, "time": 84, "config": "windows-devel", "r": "4.7.0", "check": "OK", "artifact": "8101488200" }, { "job": 85310232373, "time": 73, "config": "windows-oldrel", "r": "4.5.3", "check": "OK", "artifact": "8101484885" }, { "job": 85310232371, "time": 80, "config": "windows-release", "r": "4.6.1", "check": "OK", "artifact": "8101487208" } ], "_host": "GitHub-Actions", "_buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28772755241", "_status": "success", "_upstream": "https://github.com/coolbutuseless/picosatire", "_commit": { "id": "7dcab4b34ea08082010a511e0bd84a8a074970ba", "author": "mike ", "committer": "mike ", "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": 793, "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/NEWS.html", "extra/NEWS.txt", "extra/picosatire.html", "extra/readme.html", "extra/readme.md", "LICENSE", "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.7.0", "os": "linux", "version": "1.0.0.9000", "date": "2026-07-06T06:42:35.000Z", "distro": "resolute", "arch": "aarch64", "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba", "fileid": "https://r2.ropensci.org/c09852b548f6e36f493ded48442275c35c946def095208f5b7ef8268de1bf6bb", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28772755241" }, { "r": "4.7.0", "os": "linux", "version": "1.0.0.9000", "date": "2026-07-06T06:42:35.000Z", "distro": "resolute", "arch": "x86_64", "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba", "fileid": "https://r2.ropensci.org/6745d3285cd53545f8dae1246a8a41f4703b6e628ce531375691df1ecfad103f", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28772755241" }, { "r": "4.6.1", "os": "linux", "version": "1.0.0.9000", "date": "2026-07-06T06:42:52.000Z", "distro": "resolute", "arch": "aarch64", "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba", "fileid": "https://r2.ropensci.org/9f03db46a57faa27acf2717aade9cd09597894823405cf485649c98fd6641fcf", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28772755241" }, { "r": "4.6.1", "os": "linux", "version": "1.0.0.9000", "date": "2026-07-06T06:42:29.000Z", "distro": "resolute", "arch": "x86_64", "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba", "fileid": "https://r2.ropensci.org/cb0b30fe603c5ec25e04f5a4d74cd6b1d0958628125324a0149e18d1182de95e", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28772755241" }, { "r": "4.5.3", "os": "mac", "version": "1.0.0.9000", "date": "2026-07-06T06:41:46.000Z", "arch": "aarch64", "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba", "fileid": "https://r2.ropensci.org/f7d3b85c45fa06510dda107036165d4b13ff6995730d9493118cb09be903ce3e", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28772755241" }, { "r": "4.5.3", "os": "mac", "version": "1.0.0.9000", "date": "2026-07-06T06:43:31.000Z", "arch": "x86_64", "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba", "fileid": "https://r2.ropensci.org/82783b179886e9bafa23001ec1345b226e85a4b233d54b70bf467baf67be6d27", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28772755241" }, { "r": "4.6.1", "os": "mac", "version": "1.0.0.9000", "date": "2026-07-06T06:41:35.000Z", "arch": "aarch64", "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba", "fileid": "https://r2.ropensci.org/0b7aca978a47f6194775e9fe53b152c0e04ab967ad6da865f53f504262821c35", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28772755241" }, { "r": "4.6.1", "os": "mac", "version": "1.0.0.9000", "date": "2026-07-06T06:42:47.000Z", "arch": "x86_64", "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba", "fileid": "https://r2.ropensci.org/5c7a1726dc13454d908316b7e1bdea60a9175173cd5743cb92f8d7bea2cdef05", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28772755241" }, { "r": "4.6.0", "os": "wasm", "version": "1.0.0.9000", "date": "2026-07-06T06:42:35.000Z", "arch": "emscripten", "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba", "fileid": "https://r2.ropensci.org/b79aa7e15c28e5c2bfa77588f0502cf0ee5a29e338f4fb0abd50a7c1c4fe6d40", "status": "success", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28772755241" }, { "r": "4.7.0", "os": "win", "version": "1.0.0.9000", "date": "2026-07-06T06:41:31.000Z", "arch": "x86_64", "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba", "fileid": "https://r2.ropensci.org/bb7da305653af3093b7248c96b61adc0f1fd2ca06156de9ee8febea7b7dc0d94", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28772755241" }, { "r": "4.5.3", "os": "win", "version": "1.0.0.9000", "date": "2026-07-06T06:41:22.000Z", "arch": "x86_64", "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba", "fileid": "https://r2.ropensci.org/a54229d0c885f502a31fbc8ae560a48181c00c1b1a59cf6f40a142491eb8c693", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28772755241" }, { "r": "4.6.1", "os": "win", "version": "1.0.0.9000", "date": "2026-07-06T06:41:27.000Z", "arch": "x86_64", "commit": "7dcab4b34ea08082010a511e0bd84a8a074970ba", "fileid": "https://r2.ropensci.org/4363260cc57884ea39add386bc2ed693da3f2ab48d09f343c772335ad95b2114", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28772755241" } ] }