Package: picosatire
Type: Package
Title: SAT Solver using 'PicoSAT'
Version: 1.0.0.9000
Authors@R: c(
    person("Mike", "Cheng", role = c("aut", "cre", 'cph'), email = "mikefc@coolbutuseless.com"),
    person("Dirk", "Schumacher", email = "mail@dirk-schumacher.net", role = c("aut", "cph"), comment = "Fixes for original picosat.c in rpicosat package"),
    person("Armin", "Biere", role = c("aut", "cph"), comment = "Author and copyright holder of included PicoSAT code")
    )
Maintainer: Mike Cheng <mikefc@coolbutuseless.com>
URL: https://github.com/coolbutuseless/picosatire
BugReports: https://github.com/coolbutuseless/picosatire/issues
Description: 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.
License: MIT + file LICENSE
Encoding: UTF-8
RoxygenNote: 7.3.2
Imports: satire (>= 1.0.0.9000)
Suggests: knitr, glue, purrr, ggplot2, rmarkdown, testthat (>= 3.0.0)
Config/testthat/edition: 3
Copyright: The included 'PicoSAT' code is Copyright (c) Armin Biere,
        Johannes Kepler University. See 'COPYRIGHTS' file for LICENSE
        for included code.
Remotes: coolbutuseless/satire
VignetteBuilder: knitr
Config/pak/sysreqs: libicu-dev
Repository: https://coolbutuseless.r-universe.dev
Date/Publication: 2025-04-07 01:05:44 UTC
RemoteUrl: https://github.com/coolbutuseless/picosatire
RemoteRef: HEAD
RemoteSha: 7dcab4b34ea08082010a511e0bd84a8a074970ba
NeedsCompilation: yes
Packaged: 2026-05-28 10:01:10 UTC; root
Author: Mike Cheng [aut, cre, cph],
  Dirk Schumacher [aut, cph] (Fixes for original picosat.c in rpicosat
    package),
  Armin Biere [aut, cph] (Author and copyright holder of included PicoSAT
    code)