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.

Corresponding BibTeX entry:

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