Package: kissatire 1.0.0.9000

kissatire: SAT Solver using 'Kissat'

A solver for Boolean satisfiability problems ('SAT') using the 'Kissat' 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:Mike Cheng [aut, cre, cph]

kissatire_1.0.0.9000.tar.gz

kissatire_1.0.0.9000.tgz(r-4.6-x86_64)kissatire_1.0.0.9000.tgz(r-4.6-arm64)kissatire_1.0.0.9000.tgz(r-4.5-x86_64)kissatire_1.0.0.9000.tgz(r-4.5-arm64)
kissatire_1.0.0.9000.tar.gz(r-4.7-arm64)kissatire_1.0.0.9000.tar.gz(r-4.7-x86_64)kissatire_1.0.0.9000.tar.gz(r-4.6-arm64)kissatire_1.0.0.9000.tar.gz(r-4.6-x86_64)
kissatire_1.0.0.9000.tgz(r-4.6-emscripten)
manual.pdf |manual.html✨
card.svg |card.png
kissatire/json (API)
NEWS

# Install 'kissatire' in R:

install.packages('kissatire', repos = c('https://coolbutuseless.r-universe.dev', 'https://cloud.r-project.org'))

Bug tracker:https://github.com/coolbutuseless/kissatire/issues

On CRAN:

sat

2.70 score 3 scripts 3 exports 9 dependencies

Last updated from:6fa120e06a. Checks:13 OK. Indexed: yes.

Target	Result	Time
linux-devel-arm64	OK	150
linux-devel-x86_64	OK	143
source / vignettes	OK	173
linux-release-arm64	OK	137
linux-release-x86_64	OK	135
macos-release-arm64	OK	131
macos-release-x86_64	OK	333
macos-oldrel-arm64	OK	111
macos-oldrel-x86_64	OK	225
windows-devel	OK	97
windows-release	OK	64
windows-oldrel	OK	66
wasm-release	OK	149