PySAT: A Python Toolkit for Prototyping with SAT Oracles.

Alexey Ignatiev, Antnio Morgado, Joo Marques-Silva

Browse the full SAT paper archive.