If PySAT has been significant to a project that leads to an academic publication, please, acknowledge that fact by citing PySAT:

@inproceedings{imms-sat18,
  author    = {Alexey Ignatiev and Antonio Morgado and Joao Marques{-}Silva},
  title     = {{PySAT:} {A} {Python} Toolkit for Prototyping with {SAT} Oracles},
  booktitle = {SAT},
  pages     = {428--437},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-94144-8_26},
  doi       = {10.1007/978-3-319-94144-8_26}
}