To cite package ‘kissatire’ in publications use:

  Cheng M (2025). _kissatire: SAT Solver using 'Kissat'_. R package
  version 1.0.0.9000, <https://github.com/coolbutuseless/kissatire>.

A BibTeX entry for LaTeX users is

  @Manual{,
    title = {kissatire: SAT Solver using 'Kissat'},
    author = {Mike Cheng},
    year = {2025},
    note = {R package version 1.0.0.9000},
    url = {https://github.com/coolbutuseless/kissatire},
  }