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.

Corresponding BibTeX entry:

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