# --------------------------------------------
# CITATION file created with {cffr} R package
# See also: https://docs.ropensci.org/cffr/
# --------------------------------------------
 
cff-version: 1.2.0
message: 'To cite package "picosatire" in publications use:'
type: software
license: MIT
title: 'picosatire: SAT Solver using ''PicoSAT'''
version: 1.0.0.9000
doi: 10.32614/CRAN.package.picosatire
abstract: A solver for Boolean satisfiability problems ('SAT') using the 'PicoSAT'
  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
- family-names: Schumacher
  given-names: Dirk
  email: mail@dirk-schumacher.net
- family-names: Biere
  given-names: Armin
repository: https://coolbutuseless.r-universe.dev
repository-code: https://github.com/coolbutuseless/picosatire
commit: 7dcab4b34ea08082010a511e0bd84a8a074970ba
url: https://github.com/coolbutuseless/picosatire
date-released: '2025-04-07'
contact:
- family-names: Cheng
  given-names: Mike
  email: mikefc@coolbutuseless.com