[
  {
    "title": "picosatire: SAT Solver using 'PicoSAT'",
    "author": [
      {
        "given": "Mike",
        "family": "Cheng",
        "role": ["aut", "cre", "cph"],
        "email": "mikefc@coolbutuseless.com",
        "comment": {}
      },
      {
        "given": "Dirk",
        "family": "Schumacher",
        "role": ["aut", "cph"],
        "email": "mail@dirk-schumacher.net",
        "comment": "Fixes for original picosat.c in rpicosat package"
      },
      {
        "given": "Armin",
        "family": "Biere",
        "role": ["aut", "cph"],
        "email": {},
        "comment": "Author and copyright holder of included PicoSAT code"
      }
    ],
    "year": "2025",
    "note": "R package version 1.0.0.9000",
    "url": "https://github.com/coolbutuseless/picosatire"
  }
]