{ "_id": "6a47b281e06c18f0a651b3e7", "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 ", "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-07-03 12:56:16 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/2feff6479900bc482249c55392309a9ddd589669b933dea62cebb401eec3d791", "_filesize": 544827, "_sha256": "2feff6479900bc482249c55392309a9ddd589669b933dea62cebb401eec3d791", "_expires": "2026-10-11T13:00:49.000Z", "_created": "2026-07-03T12:56:16.000Z", "_published": "2026-07-03T13:00:49.975Z", "_jobs": [ { "job": 85004665824, "time": 165, "config": "linux-devel-arm64", "r": "4.7.0", "check": "OK", "artifact": "8067124931" }, { "job": 85004665913, "time": 142, "config": "linux-devel-x86_64", "r": "4.7.0", "check": "OK", "artifact": "8067115814" }, { "job": 85004665977, "time": 202, "config": "linux-release-arm64", "r": "4.6.1", "check": "OK", "artifact": "8067138363" }, { "job": 85004665837, "time": 149, "config": "linux-release-x86_64", "r": "4.6.1", "check": "OK", "artifact": "8067118131" }, { "job": 85004665813, "time": 90, "config": "macos-oldrel-arm64", "r": "4.5.3", "check": "OK", "artifact": "8067097651" }, { "job": 85004665810, "time": 215, "config": "macos-oldrel-x86_64", "r": "4.5.3", "check": "OK", "artifact": "8067142031" }, { "job": 85004665821, "time": 91, "config": "macos-release-arm64", "r": "4.6.1", "check": "OK", "artifact": "8067097773" }, { "job": 85004665819, "time": 192, "config": "macos-release-x86_64", "r": "4.6.1", "check": "OK", "artifact": "8067134057" }, { "job": 85004091129, "time": 203, "config": "source", "r": "4.6.1", "check": "OK", "artifact": "8067063082" }, { "job": 85004665827, "time": 125, "config": "wasm-release", "r": "4.6.0", "check": "OK", "artifact": "8067109853" }, { "job": 85004665803, "time": 72, "config": "windows-devel", "r": "4.7.0", "check": "OK", "artifact": "" }, { "job": 85004665817, "time": 60, "config": "windows-oldrel", "r": "4.5.3", "check": "OK", "artifact": "" }, { "job": 85004665812, "time": 66, "config": "windows-release", "r": "4.6.1", "check": "OK", "artifact": "" } ], "_host": "GitHub-Actions", "_buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28661824753", "_status": "success", "_upstream": "https://github.com/coolbutuseless/kissatire", "_commit": { "id": "6fa120e06a97d5224aafb9441129749ac24b13af", "author": "mike ", "committer": "mike ", "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/NEWS.html", "extra/NEWS.txt", "extra/readme.html", "extra/readme.md", "LICENSE", "manual.pdf" ], "_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-07-03T12:59:11.000Z", "distro": "resolute", "arch": "aarch64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "https://r2.ropensci.org/65a36046312211740e870dcbac4c762b0b5f14510ee7392ce316ed75368a1a6d", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28661824753" }, { "r": "4.7.0", "os": "linux", "version": "1.0.0.9000", "date": "2026-07-03T12:58:40.000Z", "distro": "resolute", "arch": "x86_64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "https://r2.ropensci.org/a3aa330d76ba5268699c014bce9bbe9e8e6769392f49978a6f82b59770a6f03d", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28661824753" }, { "r": "4.6.1", "os": "linux", "version": "1.0.0.9000", "date": "2026-07-03T12:59:46.000Z", "distro": "resolute", "arch": "aarch64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "https://r2.ropensci.org/327a3679dc4cbe34dd23230ecae9045e94be6f5d48706aa65264a0023df9cd8b", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28661824753" }, { "r": "4.6.1", "os": "linux", "version": "1.0.0.9000", "date": "2026-07-03T12:58:45.000Z", "distro": "resolute", "arch": "x86_64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "https://r2.ropensci.org/65a2be802455570854b22442f474d45e204d273d24168189fa6845b6afbbdd1e", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28661824753" }, { "r": "4.5.3", "os": "mac", "version": "1.0.0.9000", "date": "2026-07-03T12:57:52.000Z", "arch": "aarch64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "https://r2.ropensci.org/ef1561e021805f2c05ac8306d0c9951435e521ab5f5a5a6e2b49d92b9a3fa412", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28661824753" }, { "r": "4.5.3", "os": "mac", "version": "1.0.0.9000", "date": "2026-07-03T12:59:28.000Z", "arch": "x86_64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "https://r2.ropensci.org/f5f6db090b21bcc74b3cf3f86ef7ddb78a40cb9cdfa142e046c2e9ec045511b6", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28661824753" }, { "r": "4.6.1", "os": "mac", "version": "1.0.0.9000", "date": "2026-07-03T12:57:55.000Z", "arch": "aarch64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "https://r2.ropensci.org/f7fc7515ab4428c8565c92823c080eb8cd0c7082c32826efda2f93892b6133a5", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28661824753" }, { "r": "4.6.1", "os": "mac", "version": "1.0.0.9000", "date": "2026-07-03T12:59:13.000Z", "arch": "x86_64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "https://r2.ropensci.org/4fb9c2c89f4566ebebe5c53c78fd45be272fd0ef8659eb76d2a4dd6b77ead2c9", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28661824753" }, { "r": "4.6.0", "os": "wasm", "version": "1.0.0.9000", "date": "2026-07-03T12:58:32.000Z", "arch": "emscripten", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "https://r2.ropensci.org/e73fa60d965cfe0915736a50768f03e9e14d8a3c7fb0da93b64cfd9fb8282bb1", "status": "success", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/28661824753" } ] }