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>.

A BibTeX entry for LaTeX users is

  @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},
  }