{ "_id": "6a16c3a1acfb0bcc41d881e2", "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-05-27 10:06:29 UTC", "User": "root" }, "Author": "Mike Cheng [aut, cre, cph]", "MD5sum": "acf36fc6940650c985ebd6c7923bccfd", "_user": "coolbutuseless", "_type": "src", "_file": "kissatire_1.0.0.9000.tar.gz", "_fileid": "017fd8e80a5113b2f29ab8b7e67f5bbea3a3c9675854c79e5ee26f9e2b4c7527", "_filesize": 543985, "_sha256": "017fd8e80a5113b2f29ab8b7e67f5bbea3a3c9675854c79e5ee26f9e2b4c7527", "_created": "2026-05-27T10:06:29.000Z", "_published": "2026-05-27T10:12:49.572Z", "_distro": "noble", "_jobs": [ { "job": 78054034087, "time": 150, "config": "linux-devel-arm64", "r": "4.7.0", "check": "OK", "artifact": "7237665062" }, { "job": 78054034095, "time": 143, "config": "linux-devel-x86_64", "r": "4.7.0", "check": "OK", "artifact": "7237662636" }, { "job": 78054034152, "time": 137, "config": "linux-release-arm64", "r": "4.6.0", "check": "OK", "artifact": "7237660539" }, { "job": 78054033981, "time": 135, "config": "linux-release-x86_64", "r": "4.6.0", "check": "OK", "artifact": "7237660226" }, { "job": 78054034230, "time": 111, "config": "macos-oldrel-arm64", "r": "4.5.3", "check": "OK", "artifact": "7237652140" }, { "job": 78054033984, "time": 225, "config": "macos-oldrel-x86_64", "r": "4.5.3", "check": "OK", "artifact": "7237690585" }, { "job": 78054033935, "time": 131, "config": "macos-release-arm64", "r": "4.6.0", "check": "OK", "artifact": "7237658873" }, { "job": 78054034042, "time": 333, "config": "macos-release-x86_64", "r": "4.6.0", "check": "OK", "artifact": "7237726914" }, { "job": 78053559727, "time": 173, "config": "source", "r": "4.6.0", "check": "OK", "artifact": "7237615305" }, { "job": 78054033870, "time": 149, "config": "wasm-release", "r": "4.6.0", "check": "OK", "artifact": "7237664392" }, { "job": 78054033936, "time": 97, "config": "windows-devel", "r": "4.7.0", "check": "OK", "artifact": "" }, { "job": 78054033928, "time": 66, "config": "windows-oldrel", "r": "4.5.3", "check": "OK", "artifact": "" }, { "job": 78054033947, "time": 64, "config": "windows-release", "r": "4.6.0", "check": "OK", "artifact": "" } ], "_buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26504576690", "_status": "success", "_host": "GitHub-Actions", "_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 }, "_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", "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.0", "_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", "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-05-27T10:09:02.000Z", "distro": "noble", "arch": "aarch64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "8cd48f62d6cdb1c6fb8f166427bbf5a730cc9c6b4d28c86a310530601d6bed93", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26504576690" }, { "r": "4.7.0", "os": "linux", "version": "1.0.0.9000", "date": "2026-05-27T10:08:55.000Z", "distro": "noble", "arch": "x86_64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "d21c43d79a317de1b966ce35aee1c1427eeaf4d01fc7c0239d5aa932901c8918", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26504576690" }, { "r": "4.6.0", "os": "linux", "version": "1.0.0.9000", "date": "2026-05-27T10:08:49.000Z", "distro": "noble", "arch": "aarch64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "b9101f3608ed5b82d2a23abc78f3e02dbe423b3f2e2f97ac067a94633324cf32", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26504576690" }, { "r": "4.6.0", "os": "linux", "version": "1.0.0.9000", "date": "2026-05-27T10:08:45.000Z", "distro": "noble", "arch": "x86_64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "6c6d5dfdb5ba8cad909ced89296cc8d834876d0291e5e44c31db761c451c1912", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26504576690" }, { "r": "4.5.3", "os": "mac", "version": "1.0.0.9000", "date": "2026-05-27T10:08:22.000Z", "arch": "aarch64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "4262c1a97b9276c4a72c84c6d8c5ebeb2d093af1e9b3e6b047ed409a621f700c", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26504576690" }, { "r": "4.5.3", "os": "mac", "version": "1.0.0.9000", "date": "2026-05-27T10:09:33.000Z", "arch": "x86_64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "988aac0e603b277c1a47869d132efa63270e4a23fe199ae9c81ab28dd2dafa63", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26504576690" }, { "r": "4.6.0", "os": "mac", "version": "1.0.0.9000", "date": "2026-05-27T10:08:38.000Z", "arch": "aarch64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "f2fc79919673a33348e24dcb98fc2ce21e964d894f20435a46b125e2972825d3", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26504576690" }, { "r": "4.6.0", "os": "mac", "version": "1.0.0.9000", "date": "2026-05-27T10:10:57.000Z", "arch": "x86_64", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "0a5617d63206da93d82afa08f0750ba96c1053e418ecb9f068f573efce485e2f", "status": "success", "check": "OK", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26504576690" }, { "r": "4.6.0", "os": "wasm", "version": "1.0.0.9000", "date": "2026-05-27T10:09:04.000Z", "arch": "emscripten", "commit": "6fa120e06a97d5224aafb9441129749ac24b13af", "fileid": "17e2e55fc0c12b748c27cff7c002655b3da56ae43e23bce48e4a3200950d314a", "status": "success", "buildurl": "https://github.com/r-universe/coolbutuseless/actions/runs/26504576690" } ] }