To cite package ‘satire’ in publications use:

  Cheng M (2025). _satire: Define and Solve Boolean Satisfiability
  ('SAT') Problems_. R package version 1.0.0.9000,
  <https://github.com/coolbutuseless/satire>.

A BibTeX entry for LaTeX users is

  @Manual{,
    title = {satire: Define and Solve Boolean Satisfiability ('SAT') Problems},
    author = {Mike Cheng},
    year = {2025},
    note = {R package version 1.0.0.9000},
    url = {https://github.com/coolbutuseless/satire},
  }