PySAT: A Python Toolkit for Prototyping with SAT Oracles | Publicación