# --------------------------------------------
# CITATION file created with {cffr} R package
# See also: https://docs.ropensci.org/cffr/
# --------------------------------------------
 
cff-version: 1.2.0
message: 'To cite package "kissatire" in publications use:'
type: software
license: MIT
title: 'kissatire: SAT Solver using ''Kissat'''
version: 1.0.0.9000
doi: 10.32614/CRAN.package.kissatire
abstract: A solver for Boolean satisfiability problems ('SAT') using the 'Kissat'
  library. For this solver, 'SAT' problems can be formulated in two ways; using integer
  literals, or using logical expressions specified with the 'satire' package.
authors:
- family-names: Cheng
  given-names: Mike
  email: mikefc@coolbutuseless.com
repository: https://coolbutuseless.r-universe.dev
repository-code: https://github.com/coolbutuseless/kissatire
commit: 6fa120e06a97d5224aafb9441129749ac24b13af
url: https://github.com/coolbutuseless/kissatire
date-released: '2025-04-07'
contact:
- family-names: Cheng
  given-names: Mike
  email: mikefc@coolbutuseless.com