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-x86_64)picosatire_1.0.0.9000.zip(r-4.7-arm64)picosatire_1.0.0.9000.zip(r-4.6-x86_64)picosatire_1.0.0.9000.zip(r-4.6-arm64)picosatire_1.0.0.9000.zip(r-4.5-x86_64)
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-x86_64)picosatire_1.0.0.9000.tgz(r-4.5-arm64)
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:15 OK. Indexed: yes.
| Target | Result | Time | Files | Syslog |
|---|---|---|---|---|
| linux-devel-arm64 | OK | 100 | ||
| linux-devel-x86_64 | OK | 122 | ||
| source / vignettes | OK | 170 | ||
| linux-release-arm64 | OK | 93 | ||
| linux-release-x86_64 | OK | 109 | ||
| macos-release-arm64 | OK | 69 | ||
| macos-release-x86_64 | OK | 243 | ||
| macos-oldrel-arm64 | OK | 94 | ||
| macos-oldrel-x86_64 | OK | 270 | ||
| windows-devel-arm64 | OK | 170 | ||
| windows-devel-x86_64 | OK | 111 | ||
| windows-release-arm64 | OK | 169 | ||
| windows-release-x86_64 | OK | 72 | ||
| windows-oldrel-x86_64 | OK | 78 | ||
| wasm-release | OK | 90 |
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 |