[
  {
    "title": "kissatire: SAT Solver using 'Kissat'",
    "author": [
      {
        "given": "Mike",
        "family": "Cheng",
        "role": ["aut", "cre", "cph"],
        "email": "mikefc@coolbutuseless.com",
        "comment": {}
      }
    ],
    "year": "2025",
    "note": "R package version 1.0.0.9000",
    "url": "https://github.com/coolbutuseless/kissatire"
  }
]