EasyChair Smart Slide
PySAT: A Python Toolkit for Prototyping with SAT Oracles
PySAT: A Python Toolkit for Prototyping with SAT Oracles