To cite package ‘picosatire’ in publications use:

Cheng M, Schumacher D, Biere A (2025). picosatire: SAT Solver using 'PicoSAT'. R package version 1.0.0.9000, https://github.com/coolbutuseless/picosatire.

Corresponding BibTeX entry:

  @Manual{,
    title = {picosatire: SAT Solver using 'PicoSAT'},
    author = {Mike Cheng and Dirk Schumacher and Armin Biere},
    year = {2025},
    note = {R package version 1.0.0.9000},
    url = {https://github.com/coolbutuseless/picosatire},
  }