@misc{indiciae131c0aff246d,
  title = {SATfeatPy -- A Python-based Feature Extraction System for Satisfiability},
  author = {Benjamin Provan-Bessell and Marco Dalla and Andrea Visentin and Barry O'Sullivan},
  year = {2022},
  url = {https://arxiv.org/abs/2204.14116},
  note = {Source identifier: 2204.14116}
}