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
Package: picosatire 1.0.0.9000
picosatire: SAT Solver using 'PicoSAT'
A solver for Boolean satisfiability problems ('SAT') using the 'PicoSAT' library. For this solver, 'SAT' problems can be formulated in two ways; using integer literals, or using logical expressions specified with the 'satire' package.
Authors:
picosatire_1.0.0.9000.tar.gz
picosatire_1.0.0.9000.zip(r-4.7)picosatire_1.0.0.9000.zip(r-4.6)picosatire_1.0.0.9000.zip(r-4.5)
picosatire_1.0.0.9000.tgz(r-4.6-x86_64)picosatire_1.0.0.9000.tgz(r-4.6-arm64)picosatire_1.0.0.9000.tgz(r-4.5-arm64)picosatire_1.0.0.9000.tgz(r-4.5-x86_64)
picosatire_1.0.0.9000.tar.gz(r-4.7-arm64)picosatire_1.0.0.9000.tar.gz(r-4.7-x86_64)picosatire_1.0.0.9000.tar.gz(r-4.6-arm64)picosatire_1.0.0.9000.tar.gz(r-4.6-x86_64)
picosatire_1.0.0.9000.tgz(r-4.6-emscripten)
manual.pdf |manual.html✨
DESCRIPTION |NEWS
card.svg |card.png
picosatire/json (API)
| # Install 'picosatire' in R: |
| install.packages('picosatire', repos = c('https://coolbutuseless.r-universe.dev', 'https://cloud.r-project.org')) |
Bug tracker:https://github.com/coolbutuseless/picosatire/issues
Last updated from:7dcab4b34e. Checks:13 OK. Indexed: yes.
| Target | Result | Time | Files | Syslog |
|---|---|---|---|---|
| linux-devel-arm64 | OK | 136 | ||
| linux-devel-x86_64 | OK | 126 | ||
| source / vignettes | OK | 193 | ||
| linux-release-arm64 | OK | 136 | ||
| linux-release-x86_64 | OK | 120 | ||
| macos-release-arm64 | OK | 77 | ||
| macos-release-x86_64 | OK | 251 | ||
| macos-oldrel-arm64 | OK | 83 | ||
| macos-oldrel-x86_64 | OK | 265 | ||
| windows-devel | OK | 100 | ||
| windows-release | OK | 160 | ||
| windows-oldrel | OK | 92 | ||
| wasm-release | OK | 126 |
Exports:pico_solve_literalspico_solve_satirepico_version
Dependencies:cligluelifecyclemagrittrrlangsatirestringistringrvctrs
Readme and manuals
Help Manual
| Help page | Topics |
|---|---|
| Solve simple using literals | pico_solve_literals |
| Solve simple using 'satire' | pico_solve_satire |
| Return a list of version information of the PicoSAT library | pico_version |
